Pages that link to "Item:Q4465165"
From MaRDI portal
The following pages link to Kripke Completeness of First-Order Constructive Logics with Strong Negation (Q4465165):
Displaying 7 items.
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Extensions of Priest-da Costa logic (Q2016069) (← links)
- Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity (Q3387886) (← links)
- Sound and Complete Tree-Sequent Calculus for Inquisitive Logic (Q3638296) (← links)
- A 4-valued framework encompassing intuitionistic and classical logic (Q4583348) (← links)
