Pages that link to "Item:Q2394917"
From MaRDI portal
The following pages link to Basic properties of deductive systems based on nonclassical logics. Part I, II (Q2394917):
Displaying 7 items.
- Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
- On three-valued implicative systems (Q1253653) (← links)
- Independent axiomatizability of sets of sentences (Q1262853) (← links)
- Key notions of Tarski's methodology of deductive systems (Q1820770) (← links)
- An approach to logical calculus (Q1845873) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- Operator counterparts of types of reasoning (Q6146294) (← links)
