- Embedding HTLCG into LCGϕ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {LCG}_\phi $$\end{document}. [REVIEW]Jordan Needle - 2022 - Journal of Logic, Language and Information 31 (4):677-721.details
|
|
The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - 2022 - Journal of Philosophical Logic 52 (1):313-343.details
|
|
Substructural approaches to paradox: an introduction to the special issue.Elia Zardini - 2021 - Synthese 199 (3):493-525.details
|
|
Natural Deduction Bottom Up.Ernst Zimmermann - 2021 - Journal of Logic, Language and Information 30 (3):601-631.details
|
|
Reciprocal Influences Between Proof Theory and Logic Programming.Dale Miller - 2019 - Philosophy and Technology 34 (1):75-104.details
|
|
Parsing/Theorem-Proving for Logical Grammar CatLog3.Glyn Morrill - 2019 - Journal of Logic, Language and Information 28 (2):183-216.details
|
|
Studies in the logic of K -onfirmation.Clayton Peterson - 2019 - Philosophical Studies 176 (2):437-471.details
|
|
On a Generality Condition in Proof‐Theoretic Semantics.Bogdan Dicher - 2017 - Theoria 83 (4):394-418.details
|
|
Is multiset consequence trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.details
|
|
Formal Ontologies and Coherent Spaces.V. Michele Abrusci, Christophe Fouqueré & Marco Romano - 2014 - Journal of Applied Logic 12 (1):67-74.details
|
|
Constructive Logic with Strong Negation is a Substructural Logic. II.M. Spinks & R. Veroff - 2008 - Studia Logica 89 (3):401-425.details
|
|
Gentzen-Type Methods for Bilattice Negation.Norihiro Kamide - 2005 - Studia Logica 80 (2-3):265-289.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
|
|
Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.details
|
|
Coherence in SMCCs and equivalences on derivations in IMLL with unit.L. Mehats & Sergei Soloviev - 2007 - Annals of Pure and Applied Logic 147 (3):127-179.details
|
|
Weak typed Böhm theorem on IMLL.Satoshi Matsuoka - 2007 - Annals of Pure and Applied Logic 145 (1):37-90.details
|
|
System BV is NP-complete.Ozan Kahramanoğulları - 2008 - Annals of Pure and Applied Logic 152 (1):107-121.details
|
|
On the unity of duality.Noam Zeilberger - 2008 - Annals of Pure and Applied Logic 153 (1-3):66-96.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
|
|
Modal logics with n‐ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Mathematical Logic Quarterly 36 (3):193-215.details
|
|
Polarized and focalized linear and classical proofs.Olivier Laurent, Myriam Quatrini & Lorenzo Tortora de Falco - 2005 - Annals of Pure and Applied Logic 134 (2):217-264.details
|
|
The Propositional Logic of Elementary Tasks.Giorgi Japaridze - 2000 - Notre Dame Journal of Formal Logic 41 (2):171-183.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
|
|
First-order glue.Miltiadis Kokkonidis - 2008 - Journal of Logic, Language and Information 17 (1):43-68.details
|
|
Phase semantics and Petri net interpretation for resource-sensitive strong negation.Norihiro Kamide - 2006 - Journal of Logic, Language and Information 15 (4):371-401.details
|
|
Conditionals and consequences.Gregory Wheeler, Henry E. Kyburg & Choh Man Teng - 2007 - Journal of Applied Logic 5 (4):638-650.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
|
|
The first axiomatization of relevant logic.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (4):339 - 356.details
|
|
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
|
|
Logical Instrumentalism and Anti-exceptionalism about Logic.Leon Commandeur - forthcoming - Erkenntnis:1-21.details
|
|
Affordances and their ontological core.Fumiaki Toyoshima, Adrien Barton & Jean-François Ethier - 2022 - Applied ontology 17 (2):285-320.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
|
|
On Involutive Nonassociative Lambek Calculus.Wojciech Buszkowski - 2019 - Journal of Logic, Language and Information 28 (2):157-181.details
|
|
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation.Kit Fine - 2017 - Journal of Philosophical Logic 46 (6):625-674.details
|
|
Relational semantics for full linear logic.Dion Coumans, Mai Gehrke & Lorijn van Rooijen - 2014 - Journal of Applied Logic 12 (1):50-66.details
|
|
Type Logics and Pregroups.Wojciech Buszkowski - 2007 - Studia Logica 87 (2-3):145-169.details
|
|
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.details
|
|
Monoid based semantics for linear formulas.W. P. R. Mitchell & H. Simmons - 2002 - Journal of Symbolic Logic 67 (2):505-527.details
|
|
Algebraic logic for classical conjunction and disjunction.Josep M. Font & Ventura Verdú - 1991 - Studia Logica 50 (3-4):391 - 419.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
|
|
Editorial Introduction: Substructural Logics and Metainferences.Eduardo Barrio & Paul Égré - 2022 - Journal of Philosophical Logic 51 (6):1215-1231.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
|
|
The Multiplicative-Additive Lambek Calculus with Subexponential and Bracket Modalities.Max Kanovich, Stepan Kuznetsov & Andre Scedrov - 2020 - Journal of Logic, Language and Information 30 (1):31-88.details
|
|
The Axiom of Choice and the Partition Principle from Dialectica Categories.Samuel G. Da Silva - forthcoming - Logic Journal of the IGPL.details
|
|
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.details
|
|
Contraction, Infinitary Quantifiers, and Omega Paradoxes.Bruno Da Ré & Lucas Rosenblatt - 2018 - Journal of Philosophical Logic 47 (4):611-629.details
|
|
The very idea of a substructural approach to paradox.Lionel Shapiro - 2016 - Synthese 199 (Suppl 3):767-786.details
|
|
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.Denis Béchet - 2007 - Studia Logica 87 (2-3):199-224.details
|
|
Modal logics withn-ary connectives.S. Ghilardi & G. C. Meloni - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (3):193-215.details
|
|