On Semantics of a Term Calculus for Classical Logic
Silvia Likavec, Pierre Lescanne (2012)
Publications de l'Institut Mathématique
Similarity:
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: