- Logic in mathematics and computer science.Richard Zach - forthcoming - In Filippo Ferrari, Elke Brendel, Massimiliano Carrara, Ole Hjortland, Gil Sagi, Gila Sher & Florian Steinberger (eds.), Oxford Handbook of Philosophy of Logic. Oxford, UK: Oxford University Press.details
|
|
Proof and refutation in MALL as a game.Olivier Delande, Dale Miller & Alexis Saurin - 2010 - Annals of Pure and Applied Logic 161 (5):654-672.details
|
|
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.details
|
|
On the expressive power of abstract categorial grammars: Representing context-free formalisms. [REVIEW]Philippe de Groote & Sylvain Pogodalla - 2004 - Journal of Logic, Language and Information 13 (4):421-438.details
|
|
The relational model is injective for Multiplicative Exponential Linear Logic (without weakenings).Daniel de Carvalho & Lorenzo Tortora de Falco - 2012 - Annals of Pure and Applied Logic 163 (9):1210-1236.details
|
|
The Axiom of Choice and the Partition Principle from Dialectica Categories.Samuel G. Da Silva - forthcoming - Logic Journal of the IGPL.details
|
|
Structural Weakening and Paradoxes.Bruno Da Ré - 2021 - Notre Dame Journal of Formal Logic 62 (2):369-398.details
|
|
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.details
|
|
Relational semantics for full linear logic.Dion Coumans, Mai Gehrke & Lorijn van Rooijen - 2014 - Journal of Applied Logic 12 (1):50-66.details
|
|
Logical Instrumentalism and Anti-exceptionalism about Logic.Leon Commandeur - forthcoming - Erkenntnis:1-21.details
|
|
Is multiset consequence trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.details
|
|
Type Logics and Pregroups.Wojciech Buszkowski - 2007 - Studia Logica 87 (2-3):145-169.details
|
|
The finite model property for BCI and related systems.Wojciech Buszkowski - 1996 - Studia Logica 57 (2-3):303 - 323.details
|
|
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.details
|
|
Extending Lambek grammars to basic categorial grammars.Wojciech Buszkowski - 1996 - Journal of Logic, Language and Information 5 (3-4):279-295.details
|
|
Non-idempotent intersection types for the Lambda-Calculus.Antonio Bucciarelli, Delia Kesner & Daniel Ventura - 2017 - Logic Journal of the IGPL 25 (4):431-464.details
|
|
Modalities in linear logic weaker than the exponential “of course”: Algebraic and relational semantics. [REVIEW]Anna Bucalo - 1994 - Journal of Logic, Language and Information 3 (3):211-232.details
|
|
The logic of explanation in molecular biology: historical-processual and logical-procedural aspects.Giovanni Boniolo & Raffaella Campaner - 2022 - European Journal for Philosophy of Science 12 (1):1-24.details
|
|
Adding logic to the toolbox of molecular biology.Giovanni Boniolo, Marcello D’Agostino, Mario Piazza & Gabriele Pulcini - 2015 - European Journal for Philosophy of Science 5 (3):399-417.details
|
|
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.details
|
|
Let's plan it deductively!W. Bibel - 1998 - Artificial Intelligence 103 (1-2):183-208.details
|
|
Language in action.Johan Benthem - 1991 - Journal of Philosophical Logic 20 (3):225 - 263.details
|
|
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.Denis Béchet - 2007 - Studia Logica 87 (2-3):199-224.details
|
|
Editorial Introduction: Substructural Logics and Metainferences.Eduardo Barrio & Paul Égré - 2022 - Journal of Philosophical Logic 51 (6):1215-1231.details
|
|
A Non-deterministic View on Non-classical Negations.Arnon Avron - 2005 - Studia Logica 80 (2-3):159-194.details
|
|
Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions.Andreja Prijatelj - 1996 - Notre Dame Journal of Formal Logic 37 (1):53-70.details
|
|
Formal Ontologies and Coherent Spaces.V. Michele Abrusci, Christophe Fouqueré & Marco Romano - 2014 - Journal of Applied Logic 12 (1):67-74.details
|
|
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.details
|
|
Big toy models: Representing physical systems as Chu spaces.Samson Abramsky - 2012 - Synthese 186 (3):697 - 718.details
|
|
Semiconic idempotent logic I: Structure and local deduction theorems.Wesley Fussner & Nikolaos Galatos - 2024 - Annals of Pure and Applied Logic 175 (7):103443.details
|
|
Incompatibility Semantics from Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.details
|
|
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.details
|
|
An Analysis of Gödel's dialectica Interpretation via Linear Logic.Paulo Oliva - 2008 - Dialectica 62 (2):269-290.details
|
|
Natural Deduction Bottom Up.Ernst Zimmermann - 2021 - Journal of Logic, Language and Information 30 (3):601-631.details
|
|
On the unity of duality.Noam Zeilberger - 2008 - Annals of Pure and Applied Logic 153 (1-3):66-96.details
|
|
Substructural approaches to paradox: an introduction to the special issue.Elia Zardini - 2021 - Synthese 199 (3):493-525.details
|
|
Naive Modus Ponens.Elia Zardini - 2013 - Journal of Philosophical Logic 42 (4):575-593.details
|
|
Conditionals and consequences.Gregory Wheeler, Henry E. Kyburg & Choh Man Teng - 2007 - Journal of Applied Logic 5 (4):638-650.details
|
|
Informational interpretation of substructural propositional logics.Heinrich Wansing - 1993 - Journal of Logic, Language and Information 2 (4):285-308.details
|
|
Meeting strength in substructural logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.details
|
|
Representation Theorems for Quantales.Silvio Valentini - 1994 - Mathematical Logic Quarterly 40 (2):182-190.details
|
|
Affordances and their ontological core.Fumiaki Toyoshima, Adrien Barton & Jean-François Ethier - 2022 - Applied ontology 17 (2):285-320.details
|
|
Logic and Majority Voting.Ryo Takemura - 2021 - Journal of Philosophical Logic 51 (2):347-382.details
|
|
Completeness of Second-Order Intuitionistic Propositional Logic with Respect to Phase Semantics for Proof-Terms.Yuta Takahashi & Ryo Takemura - 2019 - Journal of Philosophical Logic 48 (3):553-570.details
|
|
Plans, affordances, and combinatory grammar.Mark Steedman - 2002 - Linguistics and Philosophy 25 (5-6):723-753.details
|
|
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.details
|
|
Local computation in linear logic.Ugo Solitro & Silvio Valentini - 1993 - Mathematical Logic Quarterly 39 (1):201-212.details
|
|
The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.details
|
|
Coherent phase spaces. Semiclassical semantics.Sergey Slavnov - 2005 - Annals of Pure and Applied Logic 131 (1-3):177-225.details
|
|
A computational study of cross-situational techniques for learning word-to-meaning mappings.Jeffrey Mark Siskind - 1996 - Cognition 61 (1-2):39-91.details
|
|