Works matching IS 01372904 AND DT 2012
Results: 8
RELATIONAL AND NEIGHBORHOOD SEMANTICS FOR INTUITIONISTIC MODAL LOGIC.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 87, doi. 10.4467/20842589RM.12.004.0685
- By:
- Publication type:
- Article
CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: COORDINATIZATION IS ALGEBRAIZATION.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 125, doi. 10.4467/20842589RM.12.006.0687
- By:
- Publication type:
- Article
SECRECY LOGIC: PROTOALGEBRAIC S-SECRECY LOGICS.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 3, doi. 10.4467/20842589RM.12.001.0682
- By:
- Publication type:
- Article
STRONG NORMALIZATION OF A TYPED LAMBDA CALCULUS FOR INTUITIONISTIC BOUNDED LINEAR-TIME TEMPORAL LOGIC.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 29, doi. 10.4467/20842589RM.12.002.0683
- By:
- Publication type:
- Article
A LATTICE OF IMPLICATIVE EXTENSIONS OF REGULAR KLEENE'S LOGICS.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 173, doi. 10.4467/20842589RM.12.008.0689
- By:
- Publication type:
- Article
PARACONSISTENCY AND CONSISTENCY UNDERSTOOD AS THE ABSENCE OF THE NEGATION OF ANY IMPLICATIVE THEOREM.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 147, doi. 10.4467/20842589RM.12.007.0688
- By:
- Publication type:
- Article
THE WEAK KŐNIG LEMMA, BROUWER'S FAN THEOREM, DE MORGAN'S LAW, AND DEPENDENT CHOICE.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 63, doi. 10.4467/20842589RM.12.003.0684
- By:
- Publication type:
- Article
ULTRAFILTERS (WITH DENSE ELEMENTS) OVER CLOSURE SPACES.
- Published in:
- Reports on Mathematical Logic, 2012, n. 47, p. 115, doi. 10.4467/20842589RM.12.005.0686
- By:
- Publication type:
- Article