Works matching Proposition (Logic)

Results: 2134

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:

Onoprienko, A. A.

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:

Waheed, Salma;
Waheed, Abdul;
Habib, Sana

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:

brioschi, Maria regina

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:

Kiczuk, Stanisław

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:

Melikhov, S. A.

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:

Bagheri, Seyed-Mohammad

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:

Rusu, Andrei;
Rusu, Elena

Publication type:

Article

Notas sobre conectivas, satisfacción e isomorfismo deóntico.

Published in:

Analisi e Diritto, 2022, n. 1, p. 19

By:

Battista Ratti, Giovanni

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:

Kikuchi, Makoto;
Kurahashi, Taishi

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:

Yagar, Ronald R.

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:

Ekman, Jan

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:

Grattan-Guinness, Ivor

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:

Weber, Zach;
Dyke, Heather

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:

Elbourne, Paul

Publication type:

Article

A Problem for a Direct-Reference Theory of Belief Reports.

Published in:

Nous (0029-4624), 2006, v. 40, n. 2, p. 361, doi. 10.1111/j.0029-4624.2006.00614.x

By:

Schiffer, Stephen

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:

Xousos, Xristos

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:

Zimper, Alexander

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:

Chajda, Ivan;
Länger, Helmut

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:

OSMAN, Fikret

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:

Awodey, Steven;
Bauer, Andrej

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:

Kupferman, O

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:

D'Aloia, Alessandro

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:

Garola, Claudio

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:

Ellerman, David

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:

Béziau, J-Y

Publication type:

Article

Fuzzy Logic Techniques For Environmental Impact Assessment: A Way Forward Towards A World Where Health Is Valued.

Published in:

Frontiers in Health Informatics, 2024, v. 13, n. 3, p. 9261

By:

Yadav, Anurita;
Sharma, Bhumika

Publication type:

Article

ÖNERMENİN UNSURLARINA DAİR ÜSKÜDÂRÎ’NİN YAKLAŞIMI.

Published in:

Bilimname, 2022, v. 47, n. 1, p. 243, doi. 10.28949/bilimname.1055101

By:

ECE, Muhammet Nasih

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:

Sarkar, Tushar K.

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:

Jones, Marian V.;
Casulli, Lucrezia

Publication type:

Article

'Logic, considered as Semeiotic': On Peirce's Philosophy of Logic.

Published in:

Transactions of the Charles S. Peirce Society, 2014, v. 50, n. 4, p. 523, doi. 10.2979/trancharpeirsoc.50.4.523

By:

Bellucci, Francesco

Publication type:

Article

Peirce and the Unity of the Proposition.

Published in:

Transactions of the Charles S. Peirce Society, 2014, v. 50, n. 2, p. 201, doi. 10.2979/trancharpeirsoc.50.2.201

By:

BELLUCCI, FRANCESCO

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:

Hilpinen, Risto

Publication type:

Article

Logic of evidence-based inference propositions.

Published in:

Current Science (00113891), 2011, v. 100, n. 11, p. 1663

By:

Jain, Mahendra Kumar

Publication type:

Article

PARTS, QUANTIFICATION AND ARISTOTELIAN PREDICATION.

Published in:

Monist, 2000, v. 83, n. 1, p. 3

By:

Mignucci, Mario

Publication type:

Article

İslam Mantık Geleneğinde Kavramlar ve Önermeler Arasındaki Kaplam Bağıntıları.

Published in:

Beytulhikme: An International Journal of Philosophy, 2023, v. 13, n. 4, p. 183, doi. 10.29228/beytulhikme.72089

By:

KUŞLU, HARUN

Publication type:

Article

Ebherî'nin Îsâgûcî'si Üzerine Modern Mantık Açısından Bir İnceleme: Önerme ve Çıkarımların Sembolleştirilmesi ve Denetlenmesi.

Published in:

Beytulhikme: An International Journal of Philosophy, 2021, v. 11, n. 4, p. 1725, doi. 10.18491/beytulhikme.1836

By:

OSMAN, FİKRET

Publication type:

Article

Aristoteles Mantığında Varlıksal Varsayma.

Published in:

Beytulhikme: An International Journal of Philosophy, 2021, v. 11, n. 2, p. 589, doi. 10.18491/beytulhikme.1679

By:

BÜYÜKADA, SAMET

Publication type:

Article

Parques verdes urbanos e transformação de comportamento: uma proposta de framework teórico entre a Transformative Service Research e a Service Dominant Logic.

Published in:

Interações, 2019, v. 20, n. 4, p. 1099, doi. 10.20435/inter.v19i3.1595

By:

Brener Carvalho, Ítalo;
de Sevilha Gosling, Marlusa

Publication type:

Article

Interference from a partner and anger arousal: a meta-analysis.

Published in:

Communication Research Reports, 2023, v. 40, n. 2, p. 79, doi. 10.1080/08824096.2023.2195160

By:

Goodboy, Alan K.

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:

Wang, Xinxin;
Xu, Zeshui;
Gou, Xunjie

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:

OSMAN, Fikret

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:

Rodrigues, Abilio;
Bueno-Soler, Juliana;
Carnielli, Walter

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:

Priest, Graham

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:

Das, Priyadarshini;
Hijazi, Amer A.;
Maxwell, Duncan W.;
Moehler, Robert C.

Publication type:

Article

Self-Support.

Published in:

Philosophy & Phenomenological Research, 2012, v. 84, n. 2, p. 419, doi. 10.1111/j.1933-1592.2010.00434.x

By:

CONEE, EARL

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:

GREENOUGH, PATRICK

Publication type:

Article

A logic for propositions with indefinite truth values.

Published in:

Studia Logica, 1982, v. 41, n. 2/3, p. 197, doi. 10.1007/BF00370345

By:

Liddell, G.

Publication type:

Article

Eugenio Bulygin (1931-2021).

Published in:

Revista Latinoamericana de Filosofía, 2022, v. 48, n. 1, p. 105, doi. 10.36446/rlf2022296

By:

NAVARRO, PABLO E.

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:

CAIRES, LUÍS;
PFENNING, FRANK;
TONINHO, BERNARDO

Publication type:

Article