Pages that link to "Item:Q535640"
From MaRDI portal
The following pages link to Basis logic for application in physics and its intuitionistic alternative (Q535640):
Displaying 4 items.
- Hilbert-style axiom systems for the matrix-based logics \(\mathrm{RMQ}^-\) and \(\mathrm{RMQ}^\ast\) (Q497423) (← links)
- An alternative propositional calculus for application to empirical sciences (Q609651) (← links)
- Special issue: The contributions of logic to the foundations of physics. Based on the 6th international Studia Logica international conference ``Trends in logic VI'', Brussels, Belgium, December 11--12, 2008 (Q983140) (← links)
- (Q3052733) (← links)