Logics without the contraction rule
From MaRDI portal
Publication:3707997
DOI10.2307/2273798zbMath0583.03018OpenAlexW2154114798MaRDI QIDQ3707997
Publication date: 1985
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/a79d22998875e96a2277acafa6a22a38fe7c2a7a
Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (only showing first 100 items - show all)
Universal algebraic methods for non-classical logics ⋮ Relational Models for the Lambek Calculus with Intersection and Constants ⋮ Cover systems for the modalities of linear logic ⋮ Semantical analysis of predicate logics without the contraction rule ⋮ A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic ⋮ Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic ⋮ Linear and affine logics with temporal, spatial and epistemic operators ⋮ Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ Predicate logics without the structure rules ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ On the quasivariety of BCK-algebras and its subvarieties ⋮ Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs ⋮ Representable biresiduated lattices ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Tableau method for residuated logic ⋮ Automated theorem proving by resolution in non-classical logics ⋮ Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom ⋮ European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 ⋮ Sequent-systems and groupoid models. I ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS ⋮ A natural negation completion of Urquhart's many-valued logic \(C\) ⋮ Language models for some extensions of the Lambek calculus ⋮ Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids ⋮ Duality results for (co)residuated lattices ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ Contraction-free sequent calculi for intuitionistic logic ⋮ A dual equivalence for cofinal quantum B-algebras ⋮ On good EQ-algebras ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Symmetric bi-derivations of UP(BCC)-algebras ⋮ Pretopologies and completeness proofs ⋮ Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts ⋮ Density revisited ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ Subdirectly irreducible residuated semilattices and positive universal classes ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Relational models for the Lambek calculus with intersection and unit ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Quantum B-algebras ⋮ A restricted fragment of the Lambek calculus with iteration and intersection operations ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics ⋮ Normal modal substructural logics with strong negation ⋮ SUBSTRUCTURAL INQUISITIVE LOGICS ⋮ On canonicity of poset expansions ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ On three implication-less fragments of t-norm based fuzzy logics ⋮ Gentzenizations of relevant logics without distribution. I ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Archimedean Residuated Lattices ⋮ Formal systems of fuzzy logic and their fragments ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ Contraction-elimination for implicational logics ⋮ A note on Kripke semantics for residuated logic ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ Modal translations in substructural logics ⋮ Residuated frames with applications to decidability ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Solution to a problem of Ono and Komori ⋮ Principal types of BCK-lambda-terms ⋮ A syntactic approach to Maksimova's principle of variable separation for some substructural logics ⋮ Decision methods for linearly ordered Heyting algebras ⋮ Fuzzy logics from substructural perspective ⋮ Recapturing dynamic logic of relation changers via bounded morphisms ⋮ On two fragments with negation and without implication of the logic of residuated lattices ⋮ Representable good EQ-algebras ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION ⋮ Some properties of pseudo-BCK- and pseudo-BCI-algebras ⋮ Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ Investigations into a left-structural right-substructural sequent calculus ⋮ Functional completeness for subsystems of intuitionistic propositional logic ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Revising a Labelled Sequent Calculus for Public Announcement Logic ⋮ Uniform proofs of standard completeness for extensions of first-order MTL ⋮ MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION ⋮ Modal translation of substructural logics ⋮ Sequent-systems and groupoid models. II ⋮ Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies ⋮ Residuated structures and orthomodular lattices ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ A new semantics for intuitionistic predicate logic ⋮ Solution to a problem of Ono and Komori ⋮ Infinitary action logic with exponentiation ⋮ The finite model property for BCI and related systems ⋮ Splittings in subreducts of hoops ⋮ Relational semantics and a relational proof system for full Lambek calculus ⋮ Gabriel topologies on coherent quantales ⋮ Extensions of Lambek Calculi ⋮ Modal logic as metalogic ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. ⋮ The finite model property for BCK and BCIW ⋮ Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation
Cites Work
This page was built for publication: Logics without the contraction rule
