Pages that link to "Item:Q1071753"
From MaRDI portal
The following pages link to The Craig interpolation theorem for propositional logics with strong negation (Q1071753):
Displaying 17 items.
- Nelson algebras through Heyting ones. I (Q750474) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- A first order nonmonotonic extension of constructive logic (Q813086) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Algebraization of quantifier logics, an introductory overview (Q1189899) (← links)
- Interpolational Craig property in logics of proofs with strong provability operator (Q1275992) (← links)
- On extensions of intermediate logics by strong negation (Q1386683) (← links)
- Craig interpolation property for operational logics of proofs (Q1406371) (← links)
- Craig's interpolation theorem for the intuitionistic logic and its extensions - a semantical approach (Q1821770) (← links)
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Proof theory for positive logic with weak negation (Q2193970) (← links)
- Craig interpolation theorem for classical propositional logic with some probability operators (Q2913984) (← links)
- An interpolation theorem in many-valued logic (Q3028980) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
