Pages that link to "Item:Q3707997"
From MaRDI portal
The following pages link to Logics without the contraction rule (Q3707997):
Displaying 50 items.
- Projectivity in (bounded) commutative integral residuated lattices (Q2108529) (← links)
- Complexity of a fragment of infinitary action logic with exponential via non-well-founded proofs (Q2142085) (← links)
- A restricted fragment of the Lambek calculus with iteration and intersection operations (Q2213927) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Fuzzy logics from substructural perspective (Q2270232) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- Contraction in propositional logic (Q2374542) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Duality results for (co)residuated lattices (Q2418015) (← links)
- Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL (Q2433102) (← links)
- Subdirectly irreducible residuated semilattices and positive universal classes (Q2433107) (← links)
- Quantum B-algebras (Q2440506) (← links)
- On three implication-less fragments of t-norm based fuzzy logics (Q2457026) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- The finite model property for BCI and related systems (Q2563452) (← links)
- Language models for some extensions of the Lambek calculus (Q2672665) (← links)
- Embedding of the atomic theory of subsets of free semigroups to the atomic theory of subsets of free monoids (Q2674673) (← links)
- Relational models for the Lambek calculus with intersection and unit (Q2695358) (← links)
- Positive logic with adjoint modalities: proof theory, semantics and reasoning about information (Q2805170) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Archimedean Residuated Lattices (Q2999403) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation (Q3143402) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- Contraction-free sequent calculi for intuitionistic logic (Q4032862) (← links)
- Relational semantics and a relational proof system for full Lambek calculus (Q4212926) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q4698602) (← links)
- Pretopologies and completeness proofs (Q4858821) (← links)
- Gentzenizations of relevant logics without distribution. I (Q4894717) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION (Q4949948) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- COMPLEXITY OF THE INFINITARY LAMBEK CALCULUS WITH KLEENE STAR (Q5027669) (← links)
- Some dual logic without tautologies (Q5040681) (← links)
- Regularity in residuated lattices (Q5212869) (← links)
- Some Syntactic Interpretations in Different Systems of Full Lambek Calculus (Q5213652) (← links)
- Revising a Labelled Sequent Calculus for Public Announcement Logic (Q5213671) (← links)
- MODAL LOGIC WITHOUT CONTRACTION IN A METATHEORY WITHOUT CONTRACTION (Q5216977) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- A Cut-Free Labelled Sequent Calculus for Dynamic Epistemic Logic (Q5283435) (← links)
- SUBSTRUCTURAL INQUISITIVE LOGICS (Q5381041) (← links)
- On the finite embeddability property for residuated ordered groupoids (Q5461379) (← links)
- Solution to a problem of Ono and Komori (Q5903941) (← links)
- A syntactic approach to Maksimova's principle of variable separation for some substructural logics (Q5937808) (← links)
