Recommendations
Cites work
- scientific article; zbMATH DE number 4014675 (Why is no real title available?)
- scientific article; zbMATH DE number 3659568 (Why is no real title available?)
- scientific article; zbMATH DE number 3755914 (Why is no real title available?)
- scientific article; zbMATH DE number 42736 (Why is no real title available?)
- scientific article; zbMATH DE number 125989 (Why is no real title available?)
- scientific article; zbMATH DE number 475184 (Why is no real title available?)
- scientific article; zbMATH DE number 733404 (Why is no real title available?)
- scientific article; zbMATH DE number 1028816 (Why is no real title available?)
- scientific article; zbMATH DE number 757640 (Why is no real title available?)
- scientific article; zbMATH DE number 757645 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- scientific article; zbMATH DE number 3300581 (Why is no real title available?)
- scientific article; zbMATH DE number 3316031 (Why is no real title available?)
- A logic for default reasoning
- A semantical study of constructible falsity
- A system of dynamic modal logic
- Constructible falsity
- Constructivism in mathematics. An introduction. Volume I
- Generalized quantifiers and modal logic
- Intuitionistic logic with strong negation
- Intuitionistic propositional logic is polynomial-space complete
- On the strong semantical completeness of the intuitionistic predicate calculus
- The logic of information structures
- Vivid logic. Knowledge-based reasoning with two kinds of negation
Cited in
(3)
This page was built for publication: Partial up an down logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1903583)