Works matching IS 1755-0203 AND VI 17 AND IP 4 AND DT 2024
Results: 14
RSL volume 17 issue 4 Cover and Back matter.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. b1, doi. 10.1017/S1755020324000285
- Publication type:
- Article
RSL volume 17 issue 4 Cover and Front matter.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. f1, doi. 10.1017/S1755020324000273
- Publication type:
- Article
FINITARY UPPER LOGICISM.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1172, doi. 10.1017/S1755020324000145
- By:
- Publication type:
- Article
META-CLASSICAL NON-CLASSICAL LOGICS.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1146, doi. 10.1017/S175502032400011X
- By:
- Publication type:
- Article
AN ALGEBRAIC PROOF OF COMPLETENESS FOR MONADIC FUZZY PREDICATE LOGIC MMTL∀ – ERRATUM.
- Published in:
- 2024
- By:
- Publication type:
- Correction Notice
PARACONSISTENT AND PARACOMPLETE ZERMELO–FRAENKEL SET THEORY.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 965, doi. 10.1017/S1755020323000382
- By:
- Publication type:
- Article
TESTING DEFINITIONAL EQUIVALENCE OF THEORIES VIA AUTOMORPHISM GROUPS.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1097, doi. 10.1017/S1755020323000242
- By:
- Publication type:
- Article
SUBJECT-MATTER AND INTENSIONAL OPERATORS III: STATE-SENSITIVE SUBJECT-MATTER AND TOPIC SUFFICIENCY.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1070, doi. 10.1017/S1755020323000230
- By:
- Publication type:
- Article
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1248, doi. 10.1017/S1755020323000217
- By:
- Publication type:
- Article
ANALYTICITY AND SYNTHETICITY IN TYPE THEORY REVISITED.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1119, doi. 10.1017/S1755020323000199
- By:
- Publication type:
- Article
FINITE AXIOMATIZABILITY OF TRANSITIVE MODAL LOGICS OF FINITE DEPTH AND WIDTH WITH RESPECT TO PROPER-SUCCESSOR-EQUIVALENCE.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 951, doi. 10.1017/S1755020323000175
- By:
- Publication type:
- Article
'A REMARKABLE ARTIFICE': LAPLACE, POISSON AND MATHEMATICAL PURITY.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1018, doi. 10.1017/S1755020323000163
- By:
- Publication type:
- Article
NON-CONTRACTIVE LOGICS, PARADOXES, AND MULTIPLICATIVE QUANTIFIERS.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 996, doi. 10.1017/S1755020323000138
- By:
- Publication type:
- Article
FIRST-ORDER FRIENDLINESS.
- Published in:
- Review of Symbolic Logic, 2024, v. 17, n. 4, p. 1055, doi. 10.1017/S175502032300014X
- By:
- Publication type:
- Article