Logics without the contraction rule
From MaRDI portal
Recommendations
- Logics without the contraction rule and residuated lattices
- Semantical analysis of predicate logics without the contraction rule
- scientific article; zbMATH DE number 3970731
- On a contraction-less intuitionistic propositional logic with conjunction and fusion
- Contraction-elimination for implicational logics
Cited in
(only showing first 100 items - show all)- Constructive logic with strong negation is a substructural logic. II
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Some syntactic interpretations in different systems of full Lambek calculus
- Splittings in subreducts of hoops
- Gabriel topologies on coherent quantales
- Duality results for (co)residuated lattices
- Quantum B-algebras
- On two fragments with negation and without implication of the logic of residuated lattices
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- scientific article; zbMATH DE number 4053575 (Why is no real title available?)
- Relational semantics and a relational proof system for full Lambek calculus
- Symmetric bi-derivations of UP(BCC)-algebras
- Some dual logic without tautologies
- A classification of certain group-like \(\mathrm{FL}_e\)-chains
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- A new semantics for intuitionistic predicate logic
- Modal logic without contraction in a metatheory without contraction
- Universal algebraic methods for non-classical logics
- Contraction-elimination for implicational logics
- Complexity of the infinitary Lambek calculus with Kleene star
- A note on Kripke semantics for residuated logic
- Solution to a problem of Ono and Komori
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Revising a labelled sequent calculus for public announcement logic
- A natural negation completion of Urquhart's many-valued logic \(C\)
- ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION
- On the finite embeddability property for residuated ordered groupoids
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- scientific article; zbMATH DE number 753769 (Why is no real title available?)
- Pretopologies and completeness proofs
- Residuated frames with applications to decidability
- Principal types of BCK-lambda-terms
- Projectivity in (bounded) commutative integral residuated lattices
- A cut-free labelled sequent calculus for dynamic epistemic logic
- Regularity in residuated lattices
- Combining first-order classical and intuitionistic logic
- Sequent-systems and groupoid models. I
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- Tableau method for residuated logic
- The finite model property for BCI and related systems
- Density revisited
- Subdirectly irreducible residuated semilattices and positive universal classes
- scientific article; zbMATH DE number 2099386 (Why is no real title available?)
- Solution to a problem of Ono and Komori
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
- A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
- On three implication-less fragments of t-norm based fuzzy logics
- Representable good EQ-algebras
- Formal systems of fuzzy logic and their fragments
- Some properties of pseudo-BCK- and pseudo-BCI-algebras
- Editorial introduction
- Contraction-free sequent calculi for intuitionistic logic
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Decision methods for linearly ordered Heyting algebras
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- scientific article; zbMATH DE number 4081505 (Why is no real title available?)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics
- Normal modal substructural logics with strong negation
- Representable biresiduated lattices
- Recapturing dynamic logic of relation changers via bounded morphisms
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- Contraction in propositional logic
- Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom
- Investigations into a left-structural right-substructural sequent calculus
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- Logics for knowability paradox with a non-normal possibility operator
- Proof-theoretic results of common sense modal predicate calculi
- Archimedean residuated lattices
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
- Relational Models for the Lambek Calculus with Intersection and Constants
- Functional completeness for subsystems of intuitionistic propositional logic
- Relational models for the Lambek calculus with intersection and unit
- scientific article; zbMATH DE number 3970731 (Why is no real title available?)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Unification via projectivity in varieties of hoops
- Uniform proofs of standard completeness for extensions of first-order MTL
- Universal proof theory: semi-analytic rules and Craig interpolation
- Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics
- Modal logic as metalogic
- Lattice BCK logics with modus ponens as unique rule
- The finite model property for BCK and BCIW
- Linear and affine logics with temporal, spatial and epistemic operators
- Logics without the contraction rule and residuated lattices
- Extensions of Lambek calculi
- Automated theorem proving by resolution in non-classical logics
- Gentzenizations of relevant logics without distribution. I
- A consistent theory of attributes in a logic without contraction
- On canonicity of poset expansions
- Fuzzy logics from substructural perspective
- Sequent-systems and groupoid models. II
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- An algebraic approach to the study of monadic substructural predicate logics over \(\mathbf{FL_{ew}}\)
- Modal translation of substructural logics
- One-variable fragments of first-order logics
- Language models for some extensions of the Lambek calculus
- Logic without contraction as based on inclusion and unrestricted abstraction
- Uniform interpolation in substructural logics
This page was built for publication: Logics without the contraction rule
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3707997)
