Pages that link to "Item:Q939055"
From MaRDI portal
The following pages link to An intuitionistic characterization of classical logic (Q939055):
Displaying 13 items.
- An informational view of classical logic (Q897935) (← links)
- Statistics of intuitionistic versus classical logics (Q1826933) (← links)
- Characteristics and applications of \(J_{I,B}\)-implications via some classical logic tautologies (Q2283276) (← links)
- On two classical results in the first order logic (Q3090754) (← links)
- Satisfaction and Friendliness Relations within Classical Logic: Proof-Theoretic Approach (Q3623837) (← links)
- Intuitionistic completeness for first order classical logic (Q4254637) (← links)
- (Q4395552) (← links)
- Classical logic as limit completion (Q4657754) (← links)
- An Unexpected Feature of Classical Propositional Logic in the Tractatus (Q5115873) (← links)
- (Q5215789) (← links)
- (Q5316951) (← links)
- (Q5741601) (← links)
- Almost all Classical Theorems are Intuitionistic (Q5871575) (← links)
