Works matching IS 01372904 AND DT 2017
Results: 6
TURAL DEDUCTION AND ITS CORRESPONDING SEQUENT CALCULUS FOR POSITIVE CONTRACTION-LESS RELEVANT LOGIC.
- Published in:
- Reports on Mathematical Logic, 2017, n. 52, p. 101, doi. 10.4467/20842589RM.17.006.7144
- By:
- Publication type:
- Article
REFUTATIONS IN WANSING'S LOGIC.
- Published in:
- Reports on Mathematical Logic, 2017, n. 52, p. 83, doi. 10.4467/20842589RM.17.005.7143
- By:
- Publication type:
- Article
CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: WÓJCICKI'S CONJECTURE AND MALINOWSKI'S THEOREM.
- Published in:
- Reports on Mathematical Logic, 2017, n. 52, p. 69, doi. 10.4467/20842589RM.17.004.7142
- By:
- Publication type:
- Article
NOTE OF THE FULL GENERALIZED MODELS OF THE EXTENSIONS OF A LOGIC.
- Published in:
- Reports on Mathematical Logic, 2017, n. 52, p. 57, doi. 10.4467/20842589RM.17.003.7141
- By:
- Publication type:
- Article
A NON-SELF-REFERENTIAL PARADOX IN EPISTEMIC GAME THEORY.
- Published in:
- Reports on Mathematical Logic, 2017, n. 52, p. 45, doi. 10.4467/20842589RM.17.002.7140
- By:
- Publication type:
- Article
PARACONSISTENT SEQUENTIAL LINEAR-TIME TEMPORAL LOGIC: COMBINING PARACONSISTENCY AND SEQUENTIALITY IN TEMPORAL REASONING.
- Published in:
- Reports on Mathematical Logic, 2017, n. 52, p. 3, doi. 10.4467/20842589RM.17.001.7139
- By:
- Publication type:
- Article