Logics without the contraction rule
From MaRDI portal
Publication:3707997
DOI10.2307/2273798zbMath0583.03018MaRDI 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
03B60: Other nonclassical logic
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Pretopologies and completeness proofs, Gentzenizations of relevant logics without distribution. I, ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION, On the finite embeddability property for residuated ordered groupoids, Solution to a problem of Ono and Komori, A syntactic approach to Maksimova's principle of variable separation for some substructural logics, Solution to a problem of Ono and Komori, Contraction-elimination for implicational logics, A note on Kripke semantics for residuated logic, Functional completeness of bounded structures of fuzzy logic with wvt-operators, 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, Representable good EQ-algebras, 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, Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Semantical analysis of predicate logics without the contraction rule, Predicate logics without the structure rules, Sequent-systems and groupoid models. I, Modal translations in substructural logics, Principal types of BCK-lambda-terms, Sequent-systems and groupoid models. II, Gabriel topologies on coherent quantales, Modal logic as metalogic, The finite model property for BCK and BCIW, Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic, On the structure of varieties with equationally definable principal congruences. III, On the quasivariety of BCK-algebras and its subvarieties, Representable biresiduated lattices, Varieties of commutative residuated integral pomonoids and their residuation subreducts, Tableau method for residuated logic, A natural negation completion of Urquhart's many-valued logic \(C\), Normal modal substructural logics with strong negation, A uniform semantic proof for cut-elimination and completeness of various first and higher order logics., Functional completeness for subsystems of intuitionistic propositional logic, A new semantics for intuitionistic predicate logic, Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom, Fuzzy logics from substructural perspective, Linear and affine logics with temporal, spatial and epistemic operators, Automated theorem proving by resolution in non-classical logics, Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL, Subdirectly irreducible residuated semilattices and positive universal classes, On three implication-less fragments of t-norm based fuzzy logics, Formal systems of fuzzy logic and their fragments, Decision methods for linearly ordered Heyting algebras, On two fragments with negation and without implication of the logic of residuated lattices, The finite model property for BCI and related systems, Archimedean Residuated Lattices, CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, ASSERTIONALLY EQUIVALENT QUASIVARIETIES, Extending the Curry-Howard interpretation to linear, relevant and other resource logics, Contraction-free sequent calculi for intuitionistic logic, Relational semantics and a relational proof system for full Lambek calculus
Cites Work
