Pages that link to "Item:Q4443421"
From MaRDI portal
The following pages link to Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions (Q4443421):
Displayed 27 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- Bilattices with implications (Q368472) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- Gentzen-type methods for bilattice negation (Q813084) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Implicational classes of De Morgan lattices (Q1301839) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Distributive-lattice semantics of sequent calculi with structural rules (Q1931305) (← links)
- Many-place sequent calculi for finitely-valued logics (Q1931344) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- Subquasivarieties of implicative locally-finite quasivarieties (Q3066295) (← links)
- Regular bilattices (Q4443414) (← links)
- Subprevarieties versus extensions. Application to the logic of paradox (Q4508259) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations (Q4999460) (← links)
- Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635) (← links)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- From Paraconsistent Logic to Dialetheic Logic (Q5213760) (← links)
- <i>n</i>-valued maximal paraconsistent matrices (Q5379323) (← links)
- Fuzzy semantics for multiple-conclusion sequential calculi with structural rules (Q5947553) (← links)