Logics without the contraction rule
From MaRDI portal
Publication:3707997
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)- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras
- Principal types of BCK-lambda-terms
- Density revisited
- Investigations into a left-structural right-substructural sequent calculus
- Grishin algebras and cover systems for classical bilinear logic
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics
- Subdirectly irreducible residuated semilattices and positive universal classes
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information
- Projectivity in (bounded) commutative integral residuated lattices
- Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation
- Contraction-free sequent calculi for intuitionistic logic
- Modal translations in substructural logics
- Fuzzy logics from substructural perspective
- SUBSTRUCTURAL INQUISITIVE LOGICS
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- Archimedean residuated lattices
- Constructive logic with strong negation is a substructural logic. I
- Cut elimination and strong separation for substructural logics: an algebraic approach
- Automated theorem proving by resolution in non-classical logics
- On canonicity of poset expansions
- Canonicity results of substructural and lattice-based logics
- scientific article; zbMATH DE number 4053575 (Why is no real title available?)
- On the quasivariety of BCK-algebras and its subvarieties
- Sequent-systems and groupoid models. II
- Some properties of pseudo-BCK- and pseudo-BCI-algebras
- Revising a labelled sequent calculus for public announcement logic
- Contraction-elimination for implicational logics
- A note on Kripke semantics for residuated logic
- Formal systems of fuzzy logic and their fragments
- Contraction in propositional logic
- Solution to a problem of Ono and Komori
- scientific article; zbMATH DE number 753769 (Why is no real title available?)
- Uniform proofs of standard completeness for extensions of first-order MTL
- Constructive logic with strong negation is a substructural logic. II
- Representable good EQ-algebras
- Amalgamation and interpolation in ordered algebras.
- Uniform interpolation in substructural logics
- Solution to a problem of Ono and Komori
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES
- A new semantics for intuitionistic predicate logic
- On the structure of varieties with equationally definable principal congruences. III
- A cut-free labelled sequent calculus for dynamic epistemic logic
- On good EQ-algebras
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- On the finite embeddability property for residuated ordered groupoids
- Sequent-systems and groupoid models. I
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
- Linear and affine logics with temporal, spatial and epistemic operators
- Functional completeness for subsystems of intuitionistic propositional logic
- Normal modal substructural logics with strong negation
- Pretopologies and completeness proofs
- The finite model property for BCI and related systems
- Relational models for the Lambek calculus with intersection and unit
- Representable biresiduated lattices
- A classification of certain group-like \(\mathrm{FL}_e\)-chains
- Gabriel topologies on coherent quantales
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Logics without the contraction rule and residuated lattices
- Modal translation of substructural logics
- A consistent theory of attributes in a logic without contraction
- Logic without contraction as based on inclusion and unrestricted abstraction
- Quantum B-algebras
- Algebraic Kripke-style semantics for relevance logics
- Semantical analysis of predicate logics without the contraction rule
- Decision methods for linearly ordered Heyting algebras
- The finite model property for BCK and BCIW
- Crawley completions of residuated lattices and algebraic completeness of substructural predicate logics
- Predicate logics without the structure rules
- Functional completeness of bounded structures of fuzzy logic with wvt-operators
- Residuated frames with applications to decidability
- Gentzenizations of relevant logics without distribution. I
- Tableau method for residuated logic
- scientific article; zbMATH DE number 3970731 (Why is no real title available?)
- Hyper-MacNeille completions of Heyting algebras
- Residuated structures and orthomodular lattices
- Modal logic without contraction in a metatheory without contraction
- A natural negation completion of Urquhart's many-valued logic \(C\)
- Syntactical investigations into \(BI\) logic and \(BB^ \prime I\) logic
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Symmetric bi-derivations of UP(BCC)-algebras
- A dual equivalence for cofinal quantum B-algebras
- Relational semantics and a relational proof system for full Lambek calculus
- Logics for knowability paradox with a non-normal possibility operator
- Proof-theoretic results of common sense modal predicate calculi
- Cover systems for the modalities of linear logic
- Universal proof theory: semi-analytic rules and Craig interpolation
- Modal logic as metalogic
- Splittings in subreducts of hoops
- scientific article; zbMATH DE number 2099386 (Why is no real title available?)
- Language models for some extensions of the Lambek calculus
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics
- Recapturing dynamic logic of relation changers via bounded morphisms
- Relational Models for the Lambek Calculus with Intersection and Constants
- A restricted fragment of the Lambek calculus with iteration and intersection operations
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Complexity of the infinitary Lambek calculus with Kleene star
- Duality results for (co)residuated lattices
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)
