Works matching Proposition (Logic)
Results: 2100
On Analogues of Herbrand's and Harrop's Theorems for the Joint Logic of Problems and Propositions QHC.
- Published in:
- Doklady Mathematics, 2023, v. 108, n. 3, p. 528, doi. 10.1134/S1064562423701685
- By:
- Publication type:
- Article
An experimental study of classical truth logic on multi-propositions consistent and incompatible: Dual-process theories and modal syllogistic of deduction.
- Published in:
- PLoS ONE, 2024, v. 19, n. 7, p. 1, doi. 10.1371/journal.pone.0299741
- By:
- Publication type:
- Article
THE LOGIC OF CAUSAL PROPOSITIONS.
- Published in:
- Logic & Logical Philosophy, 2014, v. 23, n. 3, p. 403, doi. 10.12775/LLP.2014.014
- By:
- Publication type:
- Article
For a New logic of the Proposition: Peirce and the Concept of “rhema”.
- Published in:
- Blityri - Studi di Storia Delle Idee Sui Segni e le Lingue, 2020, v. 9, n. 2, p. 23
- By:
- Publication type:
- Article
A Joint Logic of Problems and Propositions.
- Published in:
- Doklady Mathematics, 2024, v. 109, n. 2, p. 130, doi. 10.1134/S1064562424701916
- By:
- Publication type:
- Article
The logic of linear propositions.
- Published in:
- Logic Journal of the IGPL, 2019, v. 27, n. 6, p. 836, doi. 10.1093/jigpal/jzz006
- By:
- Publication type:
- Article
AN ALGORITHM FOR DETECTION OF ULTRA-WEAK COMPLETENESS OF THE SYSTEMS OF FORMULAS IN A PROVABILITY LOGIC OF PROPOSITIONS.
- Published in:
- ROMAI Journal, 2018, v. 14, n. 2, p. 139
- By:
- Publication type:
- Article
Notas sobre conectivas, satisfacción e isomorfismo deóntico.
- Published in:
- Analisi e Diritto, 2022, n. 1, p. 19
- By:
- Publication type:
- Article
Liar-type Paradoxes and the Incompleteness Phenomena.
- Published in:
- Journal of Philosophical Logic, 2016, v. 45, n. 4, p. 381, doi. 10.1007/s10992-015-9378-2
- By:
- Publication type:
- Article
Propositions in Prepositional Logic Provable Only by Indirect Proofs.
- Published in:
- Mathematical Logic Quarterly, 1998, v. 44, n. 1, p. 69, doi. 10.1002/malq.19980440105
- By:
- Publication type:
- Article
Measuring information in possibilistic logic.
- Published in:
- International Journal of Intelligent Systems, 1999, v. 14, n. 5, p. 475, doi. 10.1002/(SICI)1098-111X(199905)14:5<475::AID-INT2>3.0.CO;2-G
- By:
- Publication type:
- Article
Existence and ∃ xistence.
- Published in:
- Journal of Experimental & Theoretical Artificial Intelligence, 2013, v. 25, n. 3, p. 367, doi. 10.1080/0952813X.2013.783151
- By:
- Publication type:
- Article
A New–old Characterisation of Logical Knowledge.
- Published in:
- History & Philosophy of Logic, 2012, v. 33, n. 3, p. 245, doi. 10.1080/01445340.2012.675631
- By:
- Publication type:
- Article
Can Business Models Facilitate Strategic Transformation in Construction Firms? A Systematic Review and Research Agenda.
- Published in:
- Sustainability (2071-1050), 2023, v. 15, n. 17, p. 13022, doi. 10.3390/su151713022
- By:
- Publication type:
- Article
On the Use of the Term Philosophy.
- Published in:
- M/C Journal, 2024, v. 27, n. 6, p. N.PAG, doi. 10.5204/mcj.3106
- By:
- Publication type:
- Article
Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic.
- Published in:
- Synthese, 2021, v. 198, p. 5451, doi. 10.1007/s11229-020-02571-w
- By:
- Publication type:
- Article
Algebraic foundations for the semantic treatment of inquisitive content.
- Published in:
- Synthese, 2013, v. 190, p. 79, doi. 10.1007/s11229-013-0282-4
- By:
- Publication type:
- Article
On Peirce's Philosophical Logic: Propositions and Their Objects.
- Published in:
- Transactions of the Charles S. Peirce Society, 1992, v. 28, n. 3, p. 467
- By:
- Publication type:
- Article
Algebraic Structures Formalizing the Logic of Quantum Mechanics Incorporating Time Dimension.
- Published in:
- Studia Logica, 2025, v. 113, n. 1, p. 163, doi. 10.1007/s11225-024-10103-7
- By:
- Publication type:
- Article
Logic of evidence-based inference propositions.
- Published in:
- Current Science (00113891), 2011, v. 100, n. 11, p. 1663
- By:
- Publication type:
- Article
A logic-mathematical point of view of the truth: Reality, perception, and language.
- Published in:
- Complexity, 2015, v. 20, n. 4, p. 58, doi. 10.1002/cplx.21514
- By:
- Publication type:
- Article
A Set of Meta-Systemetic Assumptions for Dovetailing Jaina Logic Into Jaina Metaphysics.
- Published in:
- Studia Humana, 2023, v. 12, n. 1/2, p. 101, doi. 10.2478/sh-2023-0009
- By:
- Publication type:
- Article
KUTADGU BİLİG’DEKİ ÖNERMELER ÜZERİNE KLASİK MANTIK AÇISINDAN BİR İNCELEME.
- Published in:
- Journal of Social Sciences Institute / Sosyal Bilimler Enstitüsü Dergisi, 2021, v. 11, n. 21, p. 45, doi. 10.29029/busbed.886779
- By:
- Publication type:
- Article
Properties and Propositions: The Metaphysics of Higher-Order Logic.
- Published in:
- Logic & Logical Philosophy, 2024, v. 33, n. 1, p. 163, doi. 10.12775/LLP.2023.006
- By:
- Publication type:
- Article
A THEORY OF PROPOSITIONS.
- Published in:
- Logic & Logical Philosophy, 2016, v. 25, n. 1, p. 83, doi. 10.12775/LLP.2015.021
- By:
- Publication type:
- Article
THE LOGIC OF CAUSAL PROPOSITIONS.
- Published in:
- Logic & Logical Philosophy, 2014, v. 23, n. 4, p. 403, doi. 10.12775/LLP.2014.014
- By:
- Publication type:
- Article
A Problem for a Direct-Reference Theory of Belief Reports.
- Published in:
- Nous, 2006, v. 40, n. 2, p. 361, doi. 10.1111/j.0029-4624.2006.00614.x
- By:
- Publication type:
- Article
Cardinality Reduction Theorem for Logics QHC and QH4.
- Published in:
- Algebra & Logic, 2023, v. 61, n. 6, p. 491, doi. 10.1007/s10469-023-09715-0
- By:
- Publication type:
- Article
ایده آل های سرسخت n-لایه حالت در MV-جبرهای حالت.
- Published in:
- Mathematical Researches, 2024, v. 10, n. 3, p. 100
- By:
- Publication type:
- Article
Why Propositions Might be Sets of Truth-supporting Circumstances.
- Published in:
- Journal of Philosophical Logic, 2010, v. 39, n. 1, p. 101, doi. 10.1007/s10992-009-9112-z
- By:
- Publication type:
- Article
Linear logic propositions as session types.
- Published in:
- Mathematical Structures in Computer Science, 2016, v. 26, n. 3, p. 367, doi. 10.1017/S0960129514000218
- By:
- Publication type:
- Article
International Entrepreneurship: Exploring the Logic and Utility of Individual Experience Through Comparative Reasoning Approaches.
- Published in:
- Entrepreneurship: Theory & Practice, 2014, v. 38, n. 1, p. 45, doi. 10.1111/etap.12060
- By:
- Publication type:
- Article
A cerebellar operant conditioning-inspired constraint satisfaction approach for product design concept generation.
- Published in:
- International Journal of Production Research, 2023, v. 61, n. 17, p. 5822, doi. 10.1080/00207543.2022.2116734
- By:
- Publication type:
- Article
Truthmaker Gaps and the No-No Paradox.
- Published in:
- Philosophy & Phenomenological Research, 2011, v. 82, n. 3, p. 547, doi. 10.1111/j.1933-1592.2011.00491.x
- By:
- Publication type:
- Article
A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making.
- Published in:
- Fuzzy Optimization & Decision Making, 2020, v. 19, n. 3, p. 251, doi. 10.1007/s10700-020-09319-8
- By:
- Publication type:
- Article
WHAT AUSTRIAN SCHOLARS SHOULD KNOW ABOUT LOGIC (AND WHY).
- Published in:
- Quarterly Journal of Austrian Economics, 2005, v. 8, n. 3, p. 39, doi. 10.1007/s12113-005-1033-2
- By:
- Publication type:
- Article
An introduction to partition logic.
- Published in:
- Logic Journal of the IGPL, 2014, v. 22, n. 1, p. 94, doi. 10.1093/jigpal/jzt036
- By:
- Publication type:
- Article
Classical negation can be expressed by one of its halves.
- Published in:
- Logic Journal of the IGPL, 1999, v. 7, n. 2, p. 145, doi. 10.1093/jigpal/7.2.145
- By:
- Publication type:
- Article
Fusion and Confusion.
- Published in:
- Topoi: An International Review of Philosophy, 2015, v. 34, n. 1, p. 55, doi. 10.1007/s11245-013-9175-x
- By:
- Publication type:
- Article
Community participation as identity and belonging: a case study of Arts Project Australia. "I am an artist".
- Published in:
- Research & Practice in Intellectual & Developmental Disabilities, 2021, v. 8, n. 1, p. 1, doi. 10.1080/23297018.2020.1753231
- By:
- Publication type:
- Article
DOĞRUDAN İNDİRGEMELER ÜZERİNE İKİ DEĞERLİ MANTIK AÇISINDAN BİR İNCELEME-I: BASİT ÖNERMELERLE BİLEŞİK ÖNERMELERİN BİRBİRİNE İNDİRGENMESİ
- Published in:
- International Journal of Eurasia Social Sciences / Uluslararasi Avrasya Sosyal Bilimler Dergisi, 2024, v. 15, n. 58, p. 1581, doi. 10.35826/ijoess.4552
- By:
- Publication type:
- Article
Physical Propositions and Quantum Languages.
- Published in:
- International Journal of Theoretical Physics, 2008, v. 47, n. 1, p. 90, doi. 10.1007/s10773-007-9372-8
- By:
- Publication type:
- Article
Re-viewing Aristotle's system of Immediate Inferences.
- Published in:
- Explorations in Media Ecology, 2020, v. 19, n. 3, p. 363, doi. 10.1386/eme_00053_1
- By:
- Publication type:
- Article
Representing Buridan's Divided Modal Propositions in First-Order Logic.
- Published in:
- History & Philosophy of Logic, 2022, v. 43, n. 3, p. 264, doi. 10.1080/01445340.2021.1976042
- By:
- Publication type:
- Article
Distributive Terms, Truth, and the Port Royal Logic.
- Published in:
- History & Philosophy of Logic, 2013, v. 34, n. 2, p. 133, doi. 10.1080/01445340.2012.748331
- By:
- Publication type:
- Article
Normative Propositions Reconsidered.
- Published in:
- Analisi e Diritto, 2018, n. 1, p. 153
- By:
- Publication type:
- Article
Mere Possibilities: A Bolzanian Approach to Non-Actual Objects.
- Published in:
- Journal of the History of Philosophy, 2007, v. 45, n. 4, p. 525, doi. 10.1353/hph.2007.0097
- By:
- Publication type:
- Article
Propositions as [Types].
- Published in:
- Journal of Logic & Computation, 2004, v. 14, n. 4, p. 447, doi. 10.1093/logcom/14.4.447
- By:
- Publication type:
- Article
Augmenting branching temporal logics with existential quantification over atomic propositions.
- Published in:
- Journal of Logic & Computation, 1999, v. 9, n. 2, p. 135, doi. 10.1093/logcom/9.2.135
- By:
- Publication type:
- Article
Canonical interpretation of propositions as events.
- Published in:
- International Journal of Economic Theory, 2010, v. 6, n. 3, p. 327, doi. 10.1111/j.1742-7363.2010.00138.x
- By:
- Publication type:
- Article