Pages that link to "Item:Q4531584"
From MaRDI portal
The following pages link to Remark on a finite axiomatization of finite intermediate propositional logics (Q4531584):
Displaying 4 items.
- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems (Q2037979) (← links)
- A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus (Q4304150) (← links)
- (Q4443201) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)