The following pages link to (Q3684108):
Displaying 17 items.
- A result on the completeness of superintuitionistic logics (Q1059064) (← links)
- Finite approximability of forest superintuitionistic logics (Q1068076) (← links)
- Number of prelocally table superintuitionistic propositional logics (Q1069926) (← links)
- Semantical analysis of superrelevant predicate logics with quantification (Q1109761) (← links)
- On finite linear intermediate predicate logics (Q1119624) (← links)
- On the predicate logics of finite Kripke frames (Q1344873) (← links)
- A new semantics for intuitionistic predicate logic (Q1820768) (← links)
- Halldén-completeness in super-intuitionistic predicate logics (Q1868242) (← links)
- On applied theories with superintuitionistic logics (Q2751812) (← links)
- A Remark on Superintuitionistic Predicate Logics of Kripke Frames with Constant and with Nested Domains (Q3094149) (← links)
- (Q3191294) (← links)
- On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames (Q3431969) (← links)
- On supervaluations in free logic (Q3731571) (← links)
- Some Weak Variants of the Existence and Disjunction Properties in Intermediate Predicate Logics (Q4608557) (← links)
- The infimal controllable and N-observable superpredicate of a given predicate (Q4850257) (← links)
- Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages (Q5858132) (← links)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797) (← links)
