Pages that link to "Item:Q3305427"
From MaRDI portal
The following pages link to Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427):
Displayed 14 items.
- Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← links)
- Modal multilattice logic (Q1682294) (← links)
- Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
- Paraconsistent double negations as classical and intuitionistic negations (Q1685568) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning (Q2155493) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- (Q5144357) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- Provability multilattice logic (Q6040535) (← links)