Works matching Form (Logic)

Results: 1410

THE THEORY OF FORM LOGIC.

Published in:

Logic & Logical Philosophy, 2012, v. 21, n. 4, p. 363

By:

Freitag, Wolfgang;
Zinke, Alexandra

Publication type:

Article

Teaching assistance and automatic difficulty estimation in converting first order logic to clause form.

Published in:

Artificial Intelligence Review, 2014, v. 42, n. 3, p. 347, doi. 10.1007/s10462-013-9417-8

By:

Grivokostopoulou, Foteini;
Hatzilygeroudis, Ioannis;
Perikos, Isidoros

Publication type:

Article

力学找形逻辑下的数字化设计和建造实践.

Published in:

South Architecture / Nanfang Jianzhu, 2023, n. 7, p. 96, doi. 10.3969/j.issn.1000-0232.2023.07.011

By:

张海潮;
余光鑫

Publication type:

Article

Normal forms for fuzzy logics: a proof-theoretic approach.

Published in:

Archive for Mathematical Logic, 2007, v. 46, n. 5/6, p. 347, doi. 10.1007/s00153-007-0033-7

By:

Cintula, Petr;
Metcalfe, George

Publication type:

Article

NORMAL FORMS FOR FUZZY LOGIC - AN APPLICATION OF KOLMOGOROV'S THEOREM.

Published in:

International Journal of Uncertainty, Fuzziness & Knowledge-Based Systems, 1996, v. 4, n. 4, p. 331, doi. 10.1142/S0218488596000196

By:

KREINOVICH, VLADIK;
NGUYEN, HUNG T.;
SPRECHER, DAVID A.

Publication type:

Article

Minimizing disjunctive normal forms of pure first-order logic.

Published in:

Logic Journal of the IGPL, 2017, v. 25, n. 3, p. 325, doi. 10.1093/jigpal/jzx003

By:

LAMPERT, TIMM

Publication type:

Article

General normal forms for any additive logic.

Published in:

Studia Scientiarum Mathematicarum Hungarica, 2017, v. 54, n. 3, p. 394, doi. 10.1556/012.2017.54.3.1372

By:

Khaled, Mohamed

Publication type:

Article

A Lack of Form in Hegel's Logic? Hegel and the Trans-classical Logic of Gotthard Günther.

Published in:

History & Philosophy of Logic, 2023, v. 44, n. 2, p. 184, doi. 10.1080/01445340.2023.2203011

By:

Pluder, Valentin

Publication type:

Article

Form and Matter in Later Latin Medieval Logic: The Cases of Suppositio and Consequentia.

Published in:

Journal of the History of Philosophy, 2012, v. 50, n. 3, p. 339, doi. 10.1353/hph.2012.0045

By:

Novaes, Catarina Dutilh

Publication type:

Article

High Performance Logic Form Transformation.

Published in:

International Journal on Artificial Intelligence Tools, 2002, v. 11, n. 3, p. 437, doi. 10.1142/S0218213002000976

By:

Rus, Vasile;
Moldovan, Dan I.

Publication type:

Article

Logic, logical form and the disunity of truth.

Published in:

Analysis, 2019, v. 79, n. 1, p. 34, doi. 10.1093/analys/anx165

By:

Gamester, Will

Publication type:

Article

Reassessing logical hylomorphism and the demarcation of logical constants.

Published in:

Synthese, 2012, v. 185, n. 3, p. 387, doi. 10.1007/s11229-010-9825-0

By:

Dutilh Novaes, Catarina

Publication type:

Article

Between Hierarchies and Markets: the Logic and Limits of Network Forms of Organization (Book).

Published in:

2004

By:

Cronin, Bruce

Publication type:

Book Review

A Form of Logic Suited for Biology.

Published in:

Emergence: Complexity & Organization, 2005, v. 7, n. 2, p. 57

By:

Elsasser, Walter M.

Publication type:

Article

Truth-Functional Conditionals and Modern vs. Traditional Syllogistic1.

Published in:

Mind (0026-4423), 1986, v. 95, n. 378, p. 210, doi. 10.1093/mind/XCV.378.210

By:

ANGELL, RICHARD B.

Publication type:

Article

Expressing versus Proving: Relating Forms of Complexity in Logic.

Published in:

Journal of Logic & Computation, 2012, v. 22, n. 2, p. 267, doi. 10.1093/logcom/exq008

By:

Kolokolova, Antonina

Publication type:

Article

On the Relationship between ω‐automata and Temporal Logic Normal Forms.

Published in:

Journal of Logic & Computation, 2002, v. 12, n. 4, p. 561, doi. 10.1093/logcom/12.4.561

By:

BOLOTOV, ALEXANDER;
FISHER, MICHAEL;
DIXON, CLARE

Publication type:

Article

A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution.

Published in:

Journal of Logic & Computation, 1997, v. 7, n. 4, p. 429, doi. 10.1093/logcom/7.4.429

By:

FISHER, MICHAEL

Publication type:

Article

Três tipos de forma lógica.

Published in:

Veritas, 2017, v. 62, n. 3, p. 481, doi. 10.15448/1984-6746.2017.3.27292

By:

Bolender, John

Publication type:

Article

MANTIK DİSİPLİNİ.

Published in:

Bilimname, 2012, v. 23, n. 2, p. 245

By:

LUCE, Arthur Aston;
ÖZDİL, Mahmut Sami;
AKDAĞ, Özcan

Publication type:

Article

The logical form of universal generalizations.

Published in:

Australasian Journal of Philosophy, 2005, v. 83, n. 3, p. 373, doi. 10.1080/00048400500191966

By:

Drewery, Alice

Publication type:

Article

A NORMAL FORM FOR FIRST-ORDER LOGIC OVER DOUBLY-LINKED DATA STRUCTURES.

Published in:

International Journal of Foundations of Computer Science, 2008, v. 19, n. 1, p. 205, doi. 10.1142/S0129054108005632

By:

LINDELL, STEVEN

Publication type:

Article

SCHOLASTINĖ LOGIKA LIETUVOJE: STRUKTŪRA, OBJEKTAS IR FORMA.

Published in:

Logos: A Journal, of Religion, Philosophy Comparative Cultural Studies & Art (08687692), 2021, n. 108, p. 39, doi. 10.24101/logos.2021.52

By:

VALATKA, VYTIS

Publication type:

Article

Where do New Organizational Forms Come From? Management Logics as a Source of Coevolution.

Published in:

Organization Science, 1999, v. 10, n. 5, p. 569, doi. 10.1287/orsc.10.5.569

By:

Dijksterhuis, Marjolijn S.;
Van Den Bosch, Frans A. J.;
Volberda, Henk W.

Publication type:

Article

“Between Hierarchies & Markets, The logic and the limits of network forms of organization” By Grahame F. Thompson, Oxford University Press, 2003.

Published in:

2005

By:

Cicchetti, Americo

Publication type:

Book Review

Erhard Weigel's Contributions to the Formation of Symbolic Logic.

Published in:

History & Philosophy of Logic, 2013, v. 34, n. 1, p. 25, doi. 10.1080/01445340.2012.726855

By:

Bullynck, Maarten

Publication type:

Article

Logic Semantics with the Potential Infinite.

Published in:

History & Philosophy of Logic, 2010, v. 31, n. 2, p. 145, doi. 10.1080/01445341003722310

By:

Hailperin, Theodore

Publication type:

Article

The Generality of Kant's Transcendental Logic.

Published in:

Journal of the History of Philosophy, 2012, v. 50, n. 3, p. 417, doi. 10.1353/hph.2012.0054

By:

Tolley, Clinton

Publication type:

Article

Kant and Bolzano on logical form.

Published in:

Kant-Studien, 2011, v. 102, n. 4, p. 477, doi. 10.1515/KANT.2011.032

By:

Rusnock, Paul

Publication type:

Article

Logic, Form and Grammar (Book).

Published in:

2003

By:

Tomassi, Paul

Publication type:

Book Review

Logic in a Popular Form. By Sumanta Banerjee.

Published in:

2012

By:

Baltutis, Michael C.

Publication type:

Book Review

A method based on rules and machine learning for logic form identification in Spanish.

Published in:

Natural Language Engineering, 2017, v. 23, n. 1, p. 131, doi. 10.1017/S1351324915000297

By:

MARTÍNEZ-SANTIAGO, F.;
DÍAZ-GALIANO, M. C.;
GARCÍA-CUMBRERAS, M. Á.;
MONTEJO-RÁEZ, A.

Publication type:

Article

Neo-Slave Narratives: Studies in the Social Logic of a Literary Form.

Published in:

2002

By:

Göbel, Walter

Publication type:

Book Review

On the dynamics of institutional agreements.

Published in:

Synthese, 2009, v. 171, n. 2, p. 321, doi. 10.1007/s11229-009-9645-2

By:

Herzig, Andreas;
Lima, Tiago;
Lorini, Emiliano

Publication type:

Article

Understanding refusal style and pragmatic competence of teenage Cantonese English learners in refusals: An exploratory study.

Published in:

Intercultural Pragmatics, 2016, v. 13, n. 2, p. 257, doi. 10.1515/ip-2016-0010

By:

Lee, Cynthia

Publication type:

Article

Creating meso-contexts: The functions of metapragmatic expressions in argumentative TV talk shows.

Published in:

Intercultural Pragmatics, 2016, v. 13, n. 2, p. 283, doi. 10.1515/ip-2016-0011

By:

Ping Liu;
Yongping Ran

Publication type:

Article

A cross-cultural analysis of disagreements in classroom discourse: Comparative case studies from England, the United States, and Israel.

Published in:

Intercultural Pragmatics, 2016, v. 13, n. 2, p. 211, doi. 10.1515/ip-2016-0009

By:

Netz, Hadar;
Lefstein, Adam

Publication type:

Article

Toward a typology of constative speech acts: Actions beyond evidentiality, epistemic modality, and factuality.

Published in:

Intercultural Pragmatics, 2016, v. 13, n. 2, p. 181, doi. 10.1515/ip-2016-0008

By:

Tantucci, Vittorio

Publication type:

Article

Uncommon ground.

Published in:

Intercultural Pragmatics, 2016, v. 13, n. 2, p. 151, doi. 10.1515/ip-2016-0007

By:

Macagno, Fabrizio;
Capone, Alessandro

Publication type:

Article

Are explicatures cancellable? Toward a theory of the speaker's intentionality.

Published in:

Intercultural Pragmatics, 2009, v. 6, n. 1, p. 55, doi. 10.1515/IPRG.2009.003

By:

Capone, Alessandro

Publication type:

Article

A puzzle about conditionals.

Published in:

South African Journal of Philosophy, 2016, v. 35, n. 1, p. 28, doi. 10.1080/02580136.2015.1109427

By:

Ramachandran, Murali

Publication type:

Article

THE PUBLIC LETTER AS A RHETORICAL FORM: STRUCTURE, LOGIC, AND STYLE IN KING'S 'LETTER FROM BIRMINGHAM JAIL'

Published in:

Quarterly Journal of Speech, 1979, v. 65, n. 2, p. 121, doi. 10.1080/00335637909383465

By:

Fulkerson, Richard P.

Publication type:

Article

Nondeterministic seedless oritatami systems and hardness of testing their equivalence.

Published in:

Natural Computing, 2018, v. 17, n. 1, p. 67, doi. 10.1007/s11047-017-9661-y

By:

Han, Yo-Sub;
Kim, Hwee;
Ota, Makoto;
Seki, Shinnosuke

Publication type:

Article

Nécessité, rôle et nature de l'art logique, d'après Albert le Grand.

Published in:

Bochumer Philosophisches Jahrbuch für Antike und Mittelalter, 2007, v. 12, n. 1, p. 97

By:

Tremblay, Bruno

Publication type:

Article

Movement at LF Triggered by Mood and Tense.

Published in:

Folia Linguistica, 1995, v. 29, n. 3/4, p. 195, doi. 10.1515/flin.1995.29.3-4.195

By:

Brugger, Gerhard;
D'Angelo, Mario

Publication type:

Article

A form of logic suited for biology.

Published in:

Emergence: Complexity & Organization, 2005, v. 7, n. 2, p. 54

By:

Elsasser, Walter M.;
Goldstein, Jeffrey A.

Publication type:

Article

Dimensions of Social Media Logics: Mapping Forms of Journalistic Norms and Practices on Twitter and Instagram.

Published in:

Digital Journalism, 2020, v. 8, n. 7, p. 864, doi. 10.1080/21670811.2020.1805779

By:

Hermida, Alfred;
Mellado, Claudia

Publication type:

Article

What You Know When You Know an Answer to a Question.

Published in:

Nous (0029-4624), 2010, v. 44, n. 2, p. 392, doi. 10.1111/j.1468-0068.2010.00745.x

By:

Stout, Rowland

Publication type:

Article

Fine-Tuning and Old Evidence.

Published in:

Nous (0029-4624), 2007, v. 41, n. 3, p. 550, doi. 10.1111/j.1468-0068.2007.00661.x

By:

Juhl, Cory

Publication type:

Article

Logical Form and Truth-Conditions.

Published in:

Theoria: An International Journal for Theory, History & Foundations of Science, 2013, v. 28, n. 3, p. 439, doi. 10.1387/theoria.4627

By:

IACONA, Andrea

Publication type:

Article