Pages that link to "Item:Q3525005"
From MaRDI portal
The following pages link to Combining Classical and Intuitionistic Implications (Q3525005):
Displaying 11 items.
- Connectives and fuzziness for classical effects (Q1304337) (← links)
- Combining classical logic, paraconsistency and relevance (Q1775868) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- A History of Until (Q3185767) (← links)
- Propositional mixed logic: its syntax and semantics (Q3643261) (← links)
- Deciding Theoremhood in Fibred Logics Without Shared Connectives (Q5350345) (← links)
- Cardinality reduction theorem for logics QHC and QH4 (Q6148010) (← links)
- A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic (Q6560406) (← links)
- Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation (Q6636378) (← links)
- Combining first-order classical and intuitionistic logic (Q6659896) (← links)
- Another combination of classical and intuitionistic conditionals (Q6659907) (← links)