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
- 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
- The contraction rule and decision problems for logics without structural rules
- Modal translations in substructural logics
- A consistent theory of attributes in a logic without contraction
- 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
- On a contraction-less intuitionistic propositional logic with conjunction and fusion
- Logic without contraction as based on inclusion and unrestricted abstraction
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- Density revisited
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Some properties of pseudo-BCK- and pseudo-BCI-algebras
- 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
- Recapturing dynamic logic of relation changers via bounded morphisms
- Residuated structures and orthomodular lattices
- Hyper-MacNeille completions of Heyting algebras
- Infinitary action logic with exponentiation
- Splittings in subreducts of hoops
- Projectivity in (bounded) commutative integral residuated lattices
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- Amalgamation and interpolation in ordered algebras.
- Fuzzy logics from substructural perspective
- Varieties of BL-algebras. III: Splitting algebras
- Linear and affine logics with temporal, spatial and epistemic operators
- Contraction in propositional logic
- Automated theorem proving by resolution in non-classical logics
- Duality results for (co)residuated lattices
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Subdirectly irreducible residuated semilattices and positive universal classes
- Quantum B-algebras
- 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
- Bounded contraction and Gentzen-style formulation of Łukasiewicz logics
- 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
- Relational models for the Lambek calculus with intersection and unit
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
- Uniform interpolation in substructural logics
- Archimedean residuated lattices
- Canonicity results of substructural and lattice-based logics
- Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation
- Logics without the contraction rule and residuated lattices
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- scientific article; zbMATH DE number 3970731 (Why is no real title available?)
- scientific article; zbMATH DE number 4053575 (Why is no real title available?)
- scientific article; zbMATH DE number 4081505 (Why is no real title available?)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics
- Contraction-free sequent calculi for intuitionistic logic
- On good EQ-algebras
- Relational semantics and a relational proof system for full Lambek calculus
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- Multiplicative conjunction and an algebraic meaning of contraction and weakening
- scientific article; zbMATH DE number 1341471 (Why is no real title available?)
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
- THE LOGIC OF RESOURCES AND CAPABILITIES
- scientific article; zbMATH DE number 753769 (Why is no real title available?)
- scientific article; zbMATH DE number 2099386 (Why is no real title available?)
- Algebraic Kripke-style semantics for relevance logics
- Pretopologies and completeness proofs
- Gentzenizations of relevant logics without distribution. I
- Residuated frames with applications to decidability
- ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION
- Extensions of Lambek calculi
- Complexity of the infinitary Lambek calculus with Kleene star
- Some dual logic without tautologies
- A classification of certain group-like \(\mathrm{FL}_e\)-chains
- Regularity in residuated lattices
- Some syntactic interpretations in different systems of full Lambek calculus
- Revising a labelled sequent calculus for public announcement logic
- Modal logic without contraction in a metatheory without contraction
- Modal translation of substructural logics
- A cut-free labelled sequent calculus for dynamic epistemic logic
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Lattice BCK logics with modus ponens as unique rule
- On the finite embeddability property for residuated ordered groupoids
- Solution to a problem of Ono and Komori
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)
