Works matching DE "MODERN logic"

Results: 105

On Measures of Gender Occupational Segregation: Statistical and Conceptual Considerations (a Response to Grusky and Levanon).

Published in:

Sociological Methods & Research, 2006, v. 34, n. 4, p. 573, doi. 10.1177/0049124106286333

By:

Jerby, Iris;
Semyonov, Moshe;
Lewin-Epstejn, Noah

Publication type:

Article

EL VALOR MORAL DEL ARTE Y LA EMOCIÓN.

Published in:

Crítica, 2006, v. 38, n. 114, p. 69, doi. 10.22201/iifs.18704905e.2006.489

By:

Carreño, Francisca Pérez

Publication type:

Article

CAMBIOS DE REFERENCIA: KRIPKE Y PUTNAM.

Published in:

Crítica, 2006, v. 38, n. 114, p. 45, doi. 10.22201/iifs.18704905e.2006.488

By:

Moreno, Luis Fernández

Publication type:

Article

EL ANÁLISIS LÓGICO DE LA PREDICACIÓN COLECTIVA.

Published in:

Crítica, 2006, v. 38, n. 114, p. 21, doi. 10.22201/iifs.18704905e.2006.487

By:

Díez, Gustavo Fernández

Publication type:

Article

First-order logics: some characterizations and closure properties.

Published in:

Acta Informatica, 2012, v. 49, n. 4, p. 225, doi. 10.1007/s00236-012-0157-z

By:

Choffrut, Christian;
Malcher, Andreas;
Mereghetti, Carlo;
Palano, Beatrice

Publication type:

Article

Many symmetrically indivisible structures.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 4/5, p. 341, doi. 10.1002/malq.201400091

By:

Meir, Nadav

Publication type:

Article

Preservation theorems for Kripke models.

Published in:

Mathematical Logic Quarterly, 2009, v. 55, n. 2, p. 177, doi. 10.1002/malq.200710085

By:

Moniri, Morteza;
Zaare, Mostafa

Publication type:

Article

Sperner spaces and first-order logic.

Published in:

Mathematical Logic Quarterly, 2003, v. 49, n. 2, p. 111, doi. 10.1002/malq.200310011

By:

Blass, Andreas;
Pambuccian, Victor

Publication type:

Article

Royce, Boolean Rings, and the T- Relation.

Published in:

Transactions of the Charles S. Peirce Society, 2010, v. 46, n. 2, p. 221, doi. 10.2979/tra.2011.46.2.221

By:

BURCH, ROBERT W.

Publication type:

Article

The Politics of Disjunction.

Published in:

Transactions of the Charles S. Peirce Society, 2010, v. 46, n. 2, p. 202, doi. 10.2979/tra.2011.46.2.202

By:

PRATT, SCOTT L.

Publication type:

Article

Between Frege and Peirce: Josiah Royce's Structural Logicism.

Published in:

Transactions of the Charles S. Peirce Society, 2010, v. 46, n. 2, p. 155, doi. 10.2979/tra.2011.46.2.155

By:

CROUCH, J. BRENT

Publication type:

Article

TOWARD MORE CLARITY IN BUSINESS COMMUNICATIONS BY MODERN LOGICAL METHODS.

Published in:

Management Science, 1958, v. 5, n. 1, p. 121, doi. 10.1287/mnsc.5.1.121

By:

Allen, Layman E.

Publication type:

Article

Global supervenience and belief.

Published in:

Journal of Philosophical Logic, 1994, v. 23, n. 1, p. 103, doi. 10.1007/BF01417960

By:

von Kutschera, Franz

Publication type:

Article

Modal logics with the MacIntosh rule.

Published in:

Journal of Philosophical Logic, 1994, v. 23, n. 1, p. 67, doi. 10.1007/BF01417958

By:

Chellas, Brian F.;
Segerberg, Krister

Publication type:

Article

Moral dilemmas and nonmonotonic logic.

Published in:

Journal of Philosophical Logic, 1994, v. 23, n. 1, p. 35, doi. 10.1007/BF01417957

By:

Horty, John F.

Publication type:

Article

UDUDO REASONING IN AFRICAN THOUGHT: A POSTMODERN FORMALIST METHOD FOR LOGIC.

Published in:

2014

By:

CHIMAKONAM, Jonathan O.

Publication type:

Essay

Extracting Herbrand disjunctions by functional interpretation.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 5, p. 633, doi. 10.1007/s00153-005-0275-1

By:

Gerhardy, Philipp;
Kohlenbach, Ulrich

Publication type:

Article

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.

Published in:

Archive for Mathematical Logic, 2005, v. 44, n. 4, p. 473, doi. 10.1007/s00153-004-0266-7

By:

Voutsadakis, George

Publication type:

Article

On L<sub>α,ω</sub> complete extensions of complete theories of Boolean algebras.

Published in:

Archive for Mathematical Logic, 2004, v. 43, n. 5, p. 571, doi. 10.1007/s001530000069

By:

Rubin, Matatyahu

Publication type:

Article

Symbolic Logic (Book Review).

Published in:: 1969
Publication type:: Book Review

Towards a Reassessment of British Aristotelianism.

Published in:

Vivarium, 2012, v. 50, n. 1, p. 85, doi. 10.1163/156853411X606383

By:

Sgarbi, Marco

Publication type:

Article

A rule-based approach to detect and prevent inconsistency in the domain-engineering process.

Published in:

Expert Systems, 2016, v. 33, n. 1, p. 3, doi. 10.1111/exsy.12116

By:

Elfaki, Abdelrahman Osman

Publication type:

Article

Probabilistic logic of quantum observations.

Published in:

Logic Journal of the IGPL, 2019, v. 27, n. 3, p. 328, doi. 10.1093/jigpal/jzy051

By:

Sernadas, A;
Rasga, J;
Sernadas, C;
Alcácer, L;
Henriques, A B

Publication type:

Article

First-order aspects of tree paths.

Published in:

Logic Journal of the IGPL, 2015, v. 23, n. 4, p. 688, doi. 10.1093/jigpal/jzv026

By:

KELLERMAN, RUAAN

Publication type:

Article

Tableau reasoning and programming with dynamic first order logic.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 3, p. 411, doi. 10.1093/jigpal/9.3.411

By:

van Eijck, J;
Heguiabehere, J;
Ó Nualláin, B

Publication type:

Article

Theorem proving for untyped constructive λ-calculus: implementation and application.

Published in:

Logic Journal of the IGPL, 2001, v. 9, n. 1, p. 83, doi. 10.1093/jigpal/9.1.83

By:

Ramsay, A

Publication type:

Article

Conferences. Wollic'98, workshop on logic, language, information and computation.

Published in:

1998

By:

de Queiroz, R;
Finger, M

Publication type:

Abstract

Computational model theory: an overview.

Published in:

Logic Journal of the IGPL, 1998, v. 6, n. 4, p. 601, doi. 10.1093/jigpal/6.4.601

By:

Vardi, MY

Publication type:

Article

Taming first-order logic.

Published in:

Logic Journal of the IGPL, 1998, v. 6, n. 2, p. 305, doi. 10.1093/jigpal/6.2.305

By:

Mikulás, S

Publication type:

Article

ARISTOTLE'S SYLLOGISTICS REVISITED.

Published in:

Epistemologia, 2013, v. 36, n. 2, p. 233

By:

Auletta, Gennario

Publication type:

Article

VERSIONI ALTERNATIVE DELLA LOGICA DEL SECONDO ORDINE: UN'INTRODUZIONE.

Published in:

Epistemologia, 2007, v. 30, n. 1, p. 145

By:

Pedeferri, Andrea

Publication type:

Article

A Generalisation of AGM Contraction and Revision to Fragments of First-Order Logic.

Published in:

Journal of Artificial Intelligence Research, 2019, v. 64, p. 147, doi. 10.1613/jair.1.11337

By:

Zhiqiang Zhuang;
Zhe Wang;
Wang, Kewen;
Delgrande, James

Publication type:

Article

Rational Mechanics in the Eighteenth Century. On Structural Developments of a Mathematical Science.

Published in:

Berichte zur Wissenschafts-Geschichte, 2012, v. 35, n. 3, p. 183, doi. 10.1002/bewi.201201550

By:

Pulte, Helmut

Publication type:

Article

A little logic goes a long way: basing experiment on semantic theory in the cognitive science of conditional reasoning

Published in:

Cognitive Science, 2004, v. 28, n. 4, p. 481, doi. 10.1207/s15516709cog2804_1

By:

Stenning, Keith;
van Lambalgen, Michiel

Publication type:

Article

Religious Belief in Newman's Grammar of Assent.

Published in:

2008

By:

Caiazza, John

Publication type:

Essay

Searching for the Roots of the Circumstantial Ad Hominem.

Published in:

Argumentation, 2001, v. 15, n. 2, p. 207, doi. 10.1023/A:1011120100277

By:

Walton, D.N.

Publication type:

Article

MODERN LOGIC VERSUS MATHEMATICS AND PHILOSOPHY.

Published in:

Studies in Logic & Theory of Knowledge, 2011, v. 7, p. 5

By:

KICZUK, STANISŁAW

Publication type:

Article

Roads to Infinity, The Mathematics of Truth and Proof.

Published in:

2011

By:

Wagon, Stan

Publication type:

Book Review

Leila Haaparanta (Ed.): The Development of Modern Logic.

Published in:

2011

By:

Bremer, Manuel

Publication type:

Book Review

Religious Presuppositions of Logic and Rationality An Enquiry.

Published in:

Forum Philosophicum, 2018, v. 23, n. 1, p. 5, doi. 10.5840/forphil20182311

By:

Neto, Alberto Leopoldo Batista

Publication type:

Article

Modern Logic and Quantum Mechanics (Book Review).

Published in:

1984

By:

Noakes, G.R.

Publication type:

Book Review

Are Fictional Worlds Really Possible? A Short Contribution to Their Semantics.

Published in:

Style, 2006, v. 40, n. 3, p. 189

By:

Fořt, Bohumil

Publication type:

Article

The Khaldunian concept of 'Umran/Ijtimaa in light of the current paradigm of post-modern society.

Published in:

Journal of North African Studies, 2008, v. 13, n. 3, p. 317, doi. 10.1080/13629380701844623

By:

Boukraa, Ridha

Publication type:

Article

MODERN LOGIC AND JUDICIAL DECISION MAKING: A SKETCH OF ONE VIEW.

Published in:

Law & Contemporary Problems, 1963, v. 28, n. 1, p. 213, doi. 10.2307/1190730

By:

ALLEN, LAYMAN E.;
CALDWELL, MARY ELLEN

Publication type:

Article

RELATIONS OF THINKING LAWS WITHIN FORMAL AND DIALECTIC LOGIC.

Published in:

Education & Science Without Borders, 2017, v. 8, n. 16, p. 95

By:

Aitbayev, Ongar A.;
Ibrayev, Nurlan Sh.

Publication type:

Article

THE ELEMENTALS. A WORK ON THE PHILOSOPHY OF LOGIC (CHAPTER I).

Published in:

Annales Philosophici, 2012, n. 4, p. 15

By:

Tetsuaki Iwamoto

Publication type:

Article

On the existence of a modal-logical basis for monadic second-order logic.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 1, p. 157, doi. 10.1093/logcom/exs001

By:

Hella, Lauri;
Tulenheimo, Tero

Publication type:

Article

Rank Hierarchies for Generalized Quantifiers.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 2, p. 287, doi. 10.1093/logcom/exq019

By:

KEISLER, H. JEROME;
LOTFALLAH, WAFIK BOULOS

Publication type:

Article

Bottom-up Construction of Semantic Tableaux.

Published in:

Journal of Logic & Computation, 2010, v. 20, n. 1, p. 283, doi. 10.1093/logcom/exn069

By:

PELTIER, NICOLAS

Publication type:

Article

A new challenge for contingentists.

Published in:

Philosophical Studies, 2023, v. 180, n. 8, p. 2457, doi. 10.1007/s11098-023-01942-6

By:

Roberts, Alexander

Publication type:

Article