On Semantics of a Term Calculus for Classical Logic
Silvia Likavec, Pierre Lescanne (2012)
Publications de l'Institut Mathématique
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Approximable concepts, Chu spaces, and information systems.”
On Semantics of a Term Calculus for Classical Logic
On the categorical semantics of elementary linear logic.
Laurent, Olivier (2009)
Theory and Applications of Categories [electronic only]
Similarity:
On the axiomatisation of Boolean categories with and without medial.
Strassburger, Lutz (2007)
Theory and Applications of Categories [electronic only]
Similarity:
CCD lattices in presheaf categories.
Cruttwell, G.S.H., Marmolejo, F., Wood, R.J. (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Limit preserving full embeddings.
Trnková, V, Sichler, J. (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Coherence for pseudodistributive laws revisited.
Marmolejo, F., Wood, R.J. (2008)
Theory and Applications of Categories [electronic only]
Similarity:
On the geometry of intuitionistic S4 proofs.
Goubault-Larrecq, Jean, Goubault, Éric (2003)
Homology, Homotopy and Applications
Similarity:
Towards basic standards for research in mathematics education
Đorđe Kadijević (2005)
The Teaching of Mathematics
Similarity:
Algebraic real analysis.
Freyd, Peter (2008)
Theory and Applications of Categories [electronic only]
Similarity:
Infinitesimal differential geometry.
Giordano, P. (2004)
Acta Mathematica Universitatis Comenianae. New Series
Similarity:
Monad compositions. I: General constructions and recursive distributive laws.
Manes, Ernie, Mulry, Philip (2007)
Theory and Applications of Categories [electronic only]
Similarity:
Strong completeness of the Lambek Calculus with respect to Relational Semantics
Szabolcs Mikulás (1993)
Banach Center Publications
Similarity:
In [vB88], Johan van Benthem introduces Relational Semantics (RelSem for short), and states Soundness Theorem for Lambek Calculus (LC) w.r.t. RelSem. After doing this, he writes: "it would be very interesting to have the converse too", i.e., to have Completeness Theorem. The same question is in [vB91, p. 235]. In the following, we state Strong Completeness Theorems for different versions of LC.
Categorical properties of iterated power.
Radul, Taras (2001)
Revista Colombiana de Matemáticas
Similarity: