Works matching IS 01372904 AND DT 2013
Results: 6
A SEMANTIC ANALYSIS OF SOME DISTRIBUTIVE LOGICS WITH NEGATION.
- Published in:
- Reports on Mathematical Logic, 2013, n. 48, p. 81, doi. 10.4467/20842589RM.13.004.1256
- By:
- Publication type:
- Article
JANKOV-STYLE FORMULAS AND REFUTATION SYSTEMS.
- Published in:
- Reports on Mathematical Logic, 2013, n. 48, p. 67, doi. 10.4467/20842589RM.13.003.1255
- By:
- Publication type:
- Article
KRONECKER IN CONTEMPORARY MATHEMATICS GENERAL ARITHMETIC AS A FOUNDATIONAL PROGRAMME.
- Published in:
- Reports on Mathematical Logic, 2013, n. 48, p. 37, doi. 10.4467/20842589RM.13.002.1254
- By:
- Publication type:
- Article
ON SOME PROPERTIES OF QUASI-MV ALGEBRAS AND √' QUASI-MV ALGEBRAS. PART IV.
- Published in:
- Reports on Mathematical Logic, 2013, n. 48, p. 3, doi. 10.4467/20842589RM.13.001.1201
- By:
- Publication type:
- Article
ERRATA ON "ON THE VARIETY OF HEYTING ALGEBRAS WITH SUCCESSOR GENERATED BY ALL FINITE CHAINS".
- Published in:
- 2013
- Publication type:
- Erratum
TABLEAU-BASED BISIMULATION INVARIANCE TESTING.
- Published in:
- Reports on Mathematical Logic, 2013, n. 48, p. 101, doi. 10.4467/20842589RM.13.005.1257
- By:
- Publication type:
- Article