- Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - 2024 - Studia Logica 112 (4):805-833.details
|
|
Математизирането на историята: число и битие.Vasil Penchev - 2013 - Sofia: BAS: ISSk (IPR).details
|
|
Type Logical Grammar: Categorial Logic of Signs.G. V. Morrill - 2012 - Dordrecht, Netherland: Springer Verlag.details
|
|
1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.details
|
|
Non-commutative proof construction: a constraint-based approach.Jean-Marc Andreoli, Roberto Maieli & Paul Ruet - 2006 - Annals of Pure and Applied Logic 142 (1):212-244.details
|
|
A new correctness criterion for multiplicative non-commutative proof nets.Roberto Maieli - 2003 - Archive for Mathematical Logic 42 (3):205-220.details
|
|
Incompatibility Semantics from Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Linear logic.Roberto Di Cosmo & Dale Miller - unknown - Stanford Encyclopedia of Philosophy.details
|
|
(1 other version)Meeting strength in substructural logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.details
|
|
Adding involution to residuated structures.Nikolaos Galatos & James G. Raftery - 2004 - Studia Logica 77 (2):181 - 207.details
|
|
Sequent Systems for Consequence Relations of Cyclic Linear Logics.Paweł Płaczek - 2024 - Bulletin of the Section of Logic 53 (2):245-274.details
|
|
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.details
|
|
On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular.Hans Heymans & Isar Stubbe - 2010 - Annals of Pure and Applied Logic 161 (1):43-65.details
|
|
(1 other version)Fuzzy Galois connections categorically.Javier Gutiérrez García, Iraide Mardones-pérez, María Angeles de Prada Vicente & Dexue Zhang - 2010 - Mathematical Logic Quarterly 56 (2):131-147.details
|
|
(1 other version)Fuzzy Galois connections categorically.Javier Gutiérrez García, Iraide Mardones-Pérez, María Angeles de Prada Vicente & Dexue Zhang - 2010 - Mathematical Logic Quarterly 56 (2):131-147.details
|
|
Decision problems for propositional linear logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.details
|
|
Linear Läuchli semantics.R. F. Blute & P. J. Scott - 1996 - Annals of Pure and Applied Logic 77 (2):101-142.details
|
|
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.details
|
|
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.details
|
|
Non-commutative logical algebras and algebraic quantales.Wolfgang Rump & Yi Chuan Yang - 2014 - Annals of Pure and Applied Logic 165 (2):759-785.details
|
|
Order algebras as models of linear logic.Constantine Tsinakis & Han Zhang - 2004 - Studia Logica 76 (2):201 - 225.details
|
|
Fibred semantics for feature-based grammar logic.Jochen Dörre, Esther König & Dov Gabbay - 1996 - Journal of Logic, Language and Information 5 (3-4):387-422.details
|
|
An Extension of the Formulas-as-Types Paradigm.J. Lambek - 1997 - Dialogue 36 (1):33-.details
|
|
A geometrical procedure for computing relaxation.Gabriele Pulcini - 2009 - Annals of Pure and Applied Logic 158 (1-2):80-89.details
|
|
The d-elements of precoherent preidempotent quantales and their applications.Xianglong Ruan - forthcoming - Logic Journal of the IGPL.details
|
|
A topological correctness criterion for non-commutative logic.Paul-André Mellies - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 283--323.details
|
|
Cut elimination for a calculus with context-dependent rules.Birgit Elbl - 2001 - Archive for Mathematical Logic 40 (3):167-188.details
|
|
Finite Models of Some Substructural Logics.Wojciech Buszkowski - 2002 - Mathematical Logic Quarterly 48 (1):63-72.details
|
|
Language-Theoretic and Finite Relation Models for the (Full) Lambek Calculus.Christian Wurm - 2017 - Journal of Logic, Language and Information 26 (2):179-214.details
|
|
Representation Theorems for Quantales.Silvio Valentini - 1994 - Mathematical Logic Quarterly 40 (2):182-190.details
|
|
Coproduct and Amalgamation of Deductive Systems by Means of Ordered Algebras.Ciro Russo - 2022 - Logica Universalis 16 (1):355-380.details
|
|
Frobenius Quantales, Serre Quantales and the Riemann–Roch Theorem.Wolfgang Rump - 2021 - Studia Logica 110 (2):405-427.details
|
|
Complexity of the Lambek Calculus and Its Fragments.Mati Pentus - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 310-329.details
|
|
On the algebraic structure of linear, relevance, and fuzzy logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.details
|
|
★-autonomous Lattices.Francesco Paoli - 2005 - Studia Logica 79 (2):283-304.details
|
|
Z-modules and full completeness of multiplicative linear logic.Masahiro Hamano - 2001 - Annals of Pure and Applied Logic 107 (1-3):165-191.details
|
|
A micrological study of negation.Paul-André Melliès - 2017 - Annals of Pure and Applied Logic 168 (2):321-372.details
|
|
Strong negation in intuitionistic style sequent systems for residuated lattices.Michał Kozak - 2014 - Mathematical Logic Quarterly 60 (4-5):319-334.details
|
|
Proper Semantics for Substructural Logics, from a Stalker Theoretic Point of View.Sato Kentaro - 2008 - Studia Logica 88 (2):295-324.details
|
|
Completeness results for linear logic on Petri nets.Uffe Engberg & Glynn Winskel - 1997 - Annals of Pure and Applied Logic 86 (2):101-135.details
|
|
Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples.Bob Coecke, David J. Moore & Sonja Smets - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 527--555.details
|
|
Type Logics and Pregroups.Wojciech Buszkowski - 2007 - Studia Logica 87 (2-3):145-169.details
|
|
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.details
|
|
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.Denis Béchet - 2007 - Studia Logica 87 (2-3):199-224.details
|
|