The following pages link to Petr Cintula (Q368485):
Displaying 50 items.
- (Q225250) (redirect page) (← links)
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity (Q283093) (← links)
- The proof by cases property and its variants in structural consequence relations (Q368486) (← links)
- A note on natural extensions in abstract algebraic logic (Q495839) (← links)
- Graded dominance and related graded properties of fuzzy connectives (Q529059) (← links)
- Admissible rules in the implication-negation fragment of intuitionistic logic (Q638480) (← links)
- Product Łukasiewicz logic (Q701745) (← links)
- Short note: on the redundancy of axiom (A3) in BL and MTL (Q816860) (← links)
- Two notions of compactness in Gödel logics (Q817682) (← links)
- Relations in fuzzy class theory: initial steps (Q835181) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- Logics with disjunction and proof by cases (Q938238) (← links)
- Implicational (semilinear) logics. I: A new hierarchy (Q971883) (← links)
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies (Q1024552) (← links)
- Structural completeness in fuzzy logics (Q1038654) (← links)
- The Ł\(\Pi\) and Ł\(\Pi\frac{1}{2}\) propositional and predicate logics (Q1349200) (← links)
- Advances in the Ł\(\Pi\) and Ł\(\Pi\frac 12\) logics (Q1407605) (← links)
- Compactness of fuzzy logics. (Q1428674) (← links)
- Semi-normal forms and functional representation of product fuzzy logic. (Q1428676) (← links)
- A logical framework for graded predicates (Q1679737) (← links)
- A note on axiomatizations of Pavelka-style complete fuzzy logics (Q1697340) (← links)
- Skolemization and Herbrand theorems for lattice-valued logics (Q1733060) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Neighborhood semantics for modal many-valued logics (Q1795204) (← links)
- Lindenbaum and pair extension lemma in infinitary logics (Q1799275) (← links)
- Triangular norm based predicate fuzzy logics (Q2270233) (← links)
- Fuzzy logics with an additional involutive negation (Q2270236) (← links)
- Toward a general frame semantics for modal many-valued logics (Q2317513) (← links)
- Fuzzy class theory (Q2386239) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- Fuzzy logics as the logics of chains (Q2492309) (← links)
- From fuzzy logic to fuzzy mathematics: a methodological manifesto (Q2492315) (← links)
- Weakly implicative (fuzzy) logics. I: Basic properties (Q2505501) (← links)
- A note to the definition of the Ł\(\Pi\)-algebras (Q2576602) (← links)
- Herbrand Theorems for Substructural Logics (Q2870155) (← links)
- (Q2871607) (← links)
- Note on Deduction Theorems in contraction-free logics (Q2888635) (← links)
- Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem (Q2938135) (← links)
- The Quest for the Basic Fuzzy Logic (Q2948592) (← links)
- (Q2998400) (← links)
- On theories and models in fuzzy predicate logics (Q3410679) (← links)
- Skolemization for Substructural Logics (Q3460036) (← links)
- (Q3620026) (← links)
- Complexity Issues in Axiomatic Extensions of Lukasiewicz Logic (Q3623218) (← links)
- (Q4442750) (← links)
- Representing strategic games and their equilibria in many-valued logics (Q4644540) (← links)
- Filters in algebras of fuzzy logics (Q4902374) (← links)
- HOW MUCH PROPOSITIONAL LOGIC SUFFICES FOR ROSSER’S ESSENTIAL UNDECIDABILITY THEOREM? (Q5078818) (← links)
- From Kripke to Neighborhood Semantics for Modal Fuzzy Logics (Q5117202) (← links)
- Logic and Implication (Q5158446) (← links)
