Pages that link to "Item:Q2041966"

The following pages link to Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966):

Displaying 9 items.

• Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) (Q497423) (← links)
• A note on FDE ``all the way up'' (Q778734) (← links)
• 40 years of FDE: an introductory overview (Q1685563) (← links)
• First-degree entailment and its relatives (Q1685573) (← links)
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
• Hybrid Deduction-Refutation Systems for FDE-Based Logics (Q5021989) (← links)
• A natural deduction system for first degree entailment (Q5937857) (← links)
• The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
• Qualitative reasoning in a two-layered framework (Q6099380) (← links)