Works matching IS 01380680 AND DT 2022 AND VI 51 AND IP 2
Results: 9
TABLEAUX FOR SOME DEONTIC LOGICS WITH THE EXPLICIT PERMISSION OPERATOR.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 281, doi. 10.18778/0138-0680.2022.11
- By:
- Publication type:
- Article
A PARADOX FOR THE EXISTENCE PREDICATE.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 267, doi. 10.18778/0138-0680.2022.05
- By:
- Publication type:
- Article
A CLASSIFICATION OF IMPROPER INFERENCE RULES.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 243, doi. 10.18778/0138-0680.2022.12
- By:
- Publication type:
- Article
A VARIANT OF MATERIAL CONNEXIVE LOGIC.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 227, doi. 10.18778/0138-0680.2021.24
- By:
- Publication type:
- Article
A BENCHMARK SIMILARITY MEASURES FOR FERMATEAN FUZZY SETS.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 207, doi. 10.18778/0138-0680.2022.08
- By:
- Publication type:
- Article
PROOF COMPRESSION AND NP VERSUS PSPACE II: ADDENDUM.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 197, doi. 10.18778/0138-0680.2022.01
- By:
- Publication type:
- Article
TOLERATING INCONSISTENCIES: A STUDY OF LOGIC OF MORAL CONFLICTS.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 177, doi. 10.18778/0138-0680.2022.06
- By:
- Publication type:
- Article
MODELS OF BOUNDED ARITHMETIC THEORIES AND SOME RELATED COMPLEXITY QUESTIONS.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 163, doi. 10.18778/0138-0680.2022.03
- By:
- Publication type:
- Article
ANALYTIC NON-LABELLED PROOF-SYSTEMS FOR HYBRID LOGIC: OVERVIEW AND A COUPLE OF STRIKING FACTS.
- Published in:
- Bulletin of the Section of Logic, 2022, v. 51, n. 2, p. 143, doi. 10.18778/0138-0680.2022.02
- By:
- Publication type:
- Article