Pages that link to "Item:Q2281312"
From MaRDI portal
The following pages link to The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312):
Displaying 11 items.
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← 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)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- О выразительных возможностях максимально паранепротиворечивых и параполных четырехзначных расширений FDE (Q5059699) (← links)
- О выразительных возможностях отдельных расширений четырехзначной логики Белнапа (Q5061420) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- Mortensen logics (Q6659908) (← links)
