Pages that link to "Item:Q4304150"
From MaRDI portal
The following pages link to A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus (Q4304150):
Displaying 7 items.
- The finite model property for the implicational fragment of IPC without exchange and contraction (Q1970644) (← links)
- On two fragments with negation and without implication of the logic of residuated lattices (Q2501164) (← links)
- On the problem of R. E. Tax (Q2772905) (← links)
- Intuitionistic implication without disjunction (Q2893316) (← links)
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences (Q5291830) (← links)
- Finite axiomatizability of logics of distributive lattices with negation (Q6111084) (← links)
- PROOF SYSTEMS FOR EXACT ENTAILMENT (Q6148475) (← links)
