Works matching IS 14253305 AND DT 2011 AND VI 20 AND IP 3
Results: 7
Parafrasi Schröderiane. Ovvero: Ernst Schröder, Le operazioni del Calcolo Logico.
- Published in:
- 2011
- By:
- Publication type:
- Book Review
MORE ON THE DECIDABILITY OF MEREOLOGICAL THEORIES.
- Published in:
- Logic & Logical Philosophy, 2011, v. 20, n. 3, p. 251
- By:
- Publication type:
- Article
A CLASS OF SIMPLER LOGICAL MATRICES FOR THE VARIABLE-SHARING PROPERTY.
- Published in:
- Logic & Logical Philosophy, 2011, v. 20, n. 3, p. 241
- By:
- Publication type:
- Article
REFUTATION SYSTEMS FOR A SYSTEM OF NONSENSE-LOGIC.
- Published in:
- Logic & Logical Philosophy, 2011, v. 20, n. 3, p. 233
- By:
- Publication type:
- Article
ON AXIOMATIZATION OF LUKASIEWICZ'S FOUR-VALUED MODAL LOGIC.
- Published in:
- Logic & Logical Philosophy, 2011, v. 20, n. 3, p. 215
- By:
- Publication type:
- Article
SOCRATES DID IT BEFORE GöDEL.
- Published in:
- Logic & Logical Philosophy, 2011, v. 20, n. 3, p. 205
- By:
- Publication type:
- Article
ADMISSIBILITY OF CUT IN CONGRUENT MODAL LOGICS.
- Published in:
- Logic & Logical Philosophy, 2011, v. 20, n. 3, p. 189
- By:
- Publication type:
- Article