The following pages link to (Q5547552):
Displaying 50 items.
- Current trends in substructural logics (Q266641) (← links)
- A survey of state vectors (Q458456) (← links)
- Eliminability of cut in hypersequent calculi for some modal logics of linear frames (Q477584) (← links)
- Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets (Q581388) (← links)
- Normalization and excluded middle. I (Q583185) (← links)
- Ternary relations and relevant semantics (Q598309) (← links)
- Hypersequent calculi for intuitionistic logic with classical atoms (Q636282) (← links)
- On fuzzy ordered semigroups. (Q726383) (← links)
- Coordination of parallel partially ordered processes (Q734144) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- On the free frontal implicative semilattice extension of a frontal Hilbert algebra (Q780095) (← links)
- Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) (Q809995) (← links)
- Types of I-free hereditary right maximal terms (Q812102) (← links)
- Admissibility of cut in LC with fixed point combinator (Q817697) (← links)
- Relational semantics for Kleene logic and action logic (Q817963) (← links)
- Sentence, proposition and identity (Q885508) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- What is a non-truth-functional logic? (Q1037600) (← links)
- Noncumulative dialectical models and formal dialectics (Q1061730) (← links)
- Dialogues, strategies, and intuitionistic provability (Q1061740) (← links)
- On sequence-conclusion natural deduction systems (Q1062053) (← links)
- On matrix equations in a class of complete and completely distributive lattices (Q1090348) (← links)
- Sentential constants in R and \(R^{\neg}\) (Q1092033) (← links)
- Models for normal intuitionistic modal logics (Q1096612) (← links)
- Structural aspects of semantic-directed clusters (Q1115640) (← links)
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies (Q1123008) (← links)
- Fuzzy power sets and fuzzy implication operators (Q1139034) (← links)
- Relevant Robinson's arithmetic (Q1139580) (← links)
- Solvable classes of pseudoprenex formulas (Q1147118) (← links)
- Some work of Lithuanian mathematicians in the domain of mathematical logic and programming (Q1158137) (← links)
- A reduction of classical propositional logic to the conjunction-negation fragment of an intuitionistic relevant logic (Q1158407) (← links)
- Lower bounds for increasing complexity of derivations after cut elimination (Q1167721) (← links)
- Three ways of recognizing inessential formulas in sequents (Q1167722) (← links)
- Implementing the `Fool's model' of combinatory logic (Q1181718) (← links)
- Coquand's calculus of constructions: A mathematical foundation for a proof development system (Q1201296) (← links)
- Netl and subsequent path-based inheritance theories (Q1202630) (← links)
- Bounds for cut elimination in intuitionistic propositional logic (Q1204120) (← links)
- On representation of finite pseudo-Boolean algebras and one of its applications (Q1206268) (← links)
- Homomorphisms of implicative semigroups (Q1206773) (← links)
- Process and action: Relevant theory and logics (Q1207427) (← links)
- Linearizing intuitionistic implication (Q1210141) (← links)
- On a generalized cylindrical algebra and intuitionistic logic (Q1216293) (← links)
- Discussive sentential calculuc of Jaskowski (Q1220919) (← links)
- The Lesniewski-Curry theory of syntactical categories and the categorially open functors (Q1237777) (← links)
- Consistency proofs for applied mathematics (Q1239302) (← links)
- A propositional fragment of Lesniewski's ontology (Q1251221) (← links)
- Relevant analytic tableaux (Q1257473) (← links)
- \(\supset\)E is admissible in ``true'' relevant arithmetic (Q1272826) (← links)
- Separability of normalizable superintuitionistic propositional logics (Q1290801) (← links)
- Implicative commutative semigroups are equivalent to a class of BCK algebras (Q1343217) (← links)
