Works matching DE "PROPOSITIONAL calculus"

Results: 350

On the using cumulant expansion method and van Kampen's lemma for stochastic differential equations with forcing.

Published in:

Stochastic Environmental Research & Risk Assessment, 2013, v. 27, n. 1, p. 91, doi. 10.1007/s00477-012-0591-z

By:

Sirin, Hakan

Publication type:

Article

On some criteria for completely regular growth of entire functions of exponential type.

Published in:

Mathematical Notes, 2006, v. 80, n. 1/2, p. 114, doi. 10.1007/s11006-006-0115-6

By:

Sherstyukov, V. B.

Publication type:

Article

Finite problems and the logic of the weak law of excluded middle.

Published in:

Mathematical Notes, 2005, v. 77, n. 1/2, p. 263, doi. 10.1007/s11006-005-0025-z

By:

Chernov, A. V.

Publication type:

Article

HARMONY, PURITY, SIMPLICITY AND A 'SEEMINGLY MAGICAL FACT'.

Published in:

Monist, 2002, v. 85, n. 4, p. 498

By:

Milne, Peter

Publication type:

Article

АНАЛІЗ ПРИРОДНОМОВНИХ ТЕКСТІВ: АНТИМЕМИ, СУПЕРЕЧНІСТЬ, ОНТОЛОГІЇ.

Published in:

Cybernetics & Systems Analysis / Kibernetiki i Sistemnyj Analiz, 2023, v. 59, n. 2, p. 3

By:

КРИВИЙ, С. Л.;
ДАРЧУК, Н. П.;
СКРИПНИК, Т. К.

Publication type:

Article

ON μ-FILTERS OF ALMOST DISTRIBUTIVE LATTICES.

Published in:

Bulletin of International Mathematical Virtual Institute, 2022, v. 12, n. 3, p. 409, doi. 10.7251/BIMVI2203409M

By:

Monikarchana, Y.

Publication type:

Article

Schema Complexity in Propositional-Based Logics.

Published in:

Mathematics (2227-7390), 2021, v. 9, n. 21, p. 2671, doi. 10.3390/math9212671

By:

Ramos, Jaime;
Rasga, João;
Sernadas, Cristina

Publication type:

Article

SAINSBURY ON THINKING ABOUT AN OBJECT.

Published in:

Crítica, 2008, v. 40, n. 120, p. 85, doi. 10.22201/iifs.18704905e.2008.1001

By:

CRANE, TIM

Publication type:

Article

PATRONES INFERENCIALES.

Published in:

Crítica, 2008, v. 40, n. 120, p. 3, doi. 10.22201/iifs.18704905e.2008.993

By:

ASPEITIA, AXEL ARTURO BARCELÓ

Publication type:

Article

The unconscious as knowledge without subject Knowledge in analytic practice and the 'desire of/for knowledge'.

Published in:

2019

By:

Cevasco, Rithée

Publication type:

Speech

STRONGLY GENERALIZED (WEAKLY) δ-SUPPLEMENTED MODULES.

Published in:

Scientific Studies & Research. Series Mathematics & Informatics, 2017, v. 27, n. 1, p. 21

By:

ERYILMAZ, FIGEN

Publication type:

Article

Metric propositional neighborhood logic with an equivalence relation.

Published in:

Acta Informatica, 2016, v. 53, n. 6-8, p. 621, doi. 10.1007/s00236-016-0256-3

By:

Montanari, Angelo;
Pazzaglia, Marco;
Sala, Pietro

Publication type:

Article

CATEGORICAL ABSTRACT ALGEBRAIC LOGIC: WÓJCICKI'S CONJECTURE AND MALINOWSKI'S THEOREM.

Published in:

Reports on Mathematical Logic, 2017, n. 52, p. 69, doi. 10.4467/20842589RM.17.004.7142

By:

VOUTSADAKIS, George

Publication type:

Article

CATEGORICAL ABSTRACT ALGEBRAIC LOGIC WEAKLY REFERENTIAL π-INSTITUTIONS.

Published in:

Reports on Mathematical Logic, 2016, n. 51, p. 91, doi. 10.4467/20842589RM.16.007.5284

By:

VOUTSADAKIS, George

Publication type:

Article

RSL volume 13 issue 3 Cover and Front matter.

Published in:: Review of Symbolic Logic, 2020, v. 13, n. 3, p. f1, doi. 10.1017/S1755020320000088
Publication type:: Article

PEIRCE'S CALCULI FOR CLASSICAL PROPOSITIONAL LOGIC.

Published in:

Review of Symbolic Logic, 2020, v. 13, n. 3, p. 509, doi. 10.1017/S1755020318000187

By:

MA, MINGHUI;
PIETARINEN, AHTI-VEIKKO

Publication type:

Article

COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS.

Published in:

Review of Symbolic Logic, 2019, v. 12, n. 3, p. 487, doi. 10.1017/S1755020317000259

By:

HOLLIDAY, WESLEY H.;
LITAK, TADEUSZ

Publication type:

Article

A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS.

Published in:

Review of Symbolic Logic, 2018, v. 11, n. 4, p. 780, doi. 10.1017/S175502031800014X

By:

MORASCHINI, TOMMASO

Publication type:

Article

EXISTENTIAL GRAPHS AS AN INSTRUMENT OF LOGICAL ANALYSIS: PART I. ALPHA.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 2, p. 209, doi. 10.1017/S1755020315000362

By:

BELLUCCI, FRANCESCO;
PIETARINEN, AHTI-VEIKKO

Publication type:

Article

FROM STENIUS’ CONSISTENCY PROOF TO SCHÜTTE’S CUT ELIMINATION FOR ω-ARITHMETIC.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 1, p. 1, doi. 10.1017/S1755020315000337

By:

SIDERS, ANNIKA

Publication type:

Article

PROPOSITIONAL CONTINGENTISM.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 1, p. 123, doi. 10.1017/S1755020315000325

By:

FRITZ, PETER

Publication type:

Article

THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 1, p. 143, doi. 10.1017/S1755020315000313

By:

BADIA, GUILLERMO

Publication type:

Article

A PURELY SYNTACTIC AND CUT-FREE SEQUENT CALCULUS FOR THE MODAL LOGIC OF PROVABILITY.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 4, p. 593, doi. 10.1017/S1755020309990244

By:

Poggiolesi, Francesca

Publication type:

Article

Stochastic dynamics and combinatorial optimization.

Published in:

Modern Physics Letters B, 2017, v. 31, n. 31, p. -1, doi. 10.1142/S0217984917502852

By:

Ovchinnikov, Igor V.;
Wang, Kang L.

Publication type:

Article

A Pumping Lemma for Permitting Semi-Conditional Languages.

Published in:

International Journal of Foundations of Computer Science, 2019, v. 30, n. 1, p. 73, doi. 10.1142/S0129054119400045

By:

Gazdag, Zsolt;
Tichler, Krisztián;
Csuhaj-Varjú, Erzsébet

Publication type:

Article

FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC.

Published in:

International Journal of Foundations of Computer Science, 2013, v. 24, n. 1, p. 147, doi. 10.1142/S0129054113500044

By:

SALOMAA, ARTO

Publication type:

Article

SPECTRUM BASED TECHNIQUES FOR GRAPH ISOMORPHISM.

Published in:

International Journal of Foundations of Computer Science, 2009, v. 20, n. 3, p. 479, doi. 10.1142/S0129054109006693

By:

Rajasekaran, Sanguthevar;
Kundeti, Vamsi

Publication type:

Article

Algebraic semantics for the.

Published in:

Mathematical Logic Quarterly, 2017, v. 63, n. 3/4, p. 202, doi. 10.1002/malq.201600046

By:

Słomczyńska, Katarzyna

Publication type:

Article

A note on infinitary continuous logic.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 6, p. 448, doi. 10.1002/malq.201400077

By:

Baratella, Stefano

Publication type:

Article

The.

Published in:

Mathematical Logic Quarterly, 2015, v. 61, n. 1/2, p. 32, doi. 10.1002/malq.201300068

By:

Baratella, Stefano;
Zambella, Domenico

Publication type:

Article

Isomorphic formulae in classical propositional logic.

Published in:

Mathematical Logic Quarterly, 2012, v. 58, n. 1/2, p. 5, doi. 10.1002/malq.201020020

By:

Došen, Kosta;
Petrić, Zoran

Publication type:

Article

Simulating non-prenex cuts in quantified propositional calculus.

Published in:

Mathematical Logic Quarterly, 2011, v. 57, n. 5, p. 524, doi. 10.1002/malq.201020093

By:

Jeřábek, Emil;
Nguyen, Phuong

Publication type:

Article

Simple characterization of functionally complete one-element sets of propositional connectives.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 498, doi. 10.1002/malq.200610009

By:

Maksimović, Petar;
Janičić, Predrag

Publication type:

Article

A topological characterization of consistency of logic theories in propositional logic.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 5, p. 470, doi. 10.1002/malq.200610007

By:

Wang, Guo-Jun;
She, Yan-Hong

Publication type:

Article

On Löb algebras.

Published in:

Mathematical Logic Quarterly, 2006, v. 52, n. 1, p. 95, doi. 10.1002/malq.200510016

By:

Alizadeh, Majid;
Ardeshir, Mohammad

Publication type:

Article

Universal Classes of MV-chains with Applications to Many-valued Logics.

Published in:

Mathematical Logic Quarterly, 2002, v. 48, n. 4, p. 581, doi. 10.1002/1521-3870(200211)48:4<581::AID-MALQ581>3.0.CO;2-W

By:

Gispert, Joan

Publication type:

Article

On the Finite Model Property of Intuitionistic Modal Logics over MIPC.

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 4, p. 435, doi. 10.1002/malq.19990450402

By:

Aoto, Takahito;
Shirasu, Hiroyuki

Publication type:

Article

Can You Add Power-Sets to Martin-Lof's Intuitionistic Set Theory?

Published in:

Mathematical Logic Quarterly, 1999, v. 45, n. 4, p. 521, doi. 10.1002/malq.19990450410

By:

Maietti, Maria Emilia;
Valentini, Silvio

Publication type:

Article

Basic Propositional Calculus I.

Published in:

Mathematical Logic Quarterly, 1998, v. 44, n. 3, p. 317, doi. 10.1002/malq.19980440304

By:

Ardeshir, Mohammad;
Ruitenburg, Wim

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

Decidability in Intuitionistic Type Theory is Functionally Decidable.

Published in:

Mathematical Logic Quarterly, 1996, v. 42, n. 1, p. 300, doi. 10.1002/malq.19960420125

By:

Valentini, Silvio

Publication type:

Article

An Extension Principle for Fuzzy Logics.

Published in:

Mathematical Logic Quarterly, 1994, v. 40, n. 3, p. 357, doi. 10.1002/malq.19940400306

By:

Gerla, Giangiacomo

Publication type:

Article

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT.

Published in:

Mathematical Logic Quarterly, 1992, v. 38, n. 1, p. 85, doi. 10.1002/malq.19920380107

By:

Bull, Robert A.

Publication type:

Article

Many-valued modal logics: Uses and predicate calculus.

Published in:

Mathematical Logic Quarterly, 1990, v. 36, n. 4, p. 367, doi. 10.1002/malq.19900360411

By:

Ostermann, Pascal

Publication type:

Article

Axiomatization of the First-Order Intermediate Logics of Bounded Kripkean Heights I.

Published in:

Mathematical Logic Quarterly, 1989, v. 35, n. 5, p. 415, doi. 10.1002/malq.19890350507

By:

Yokota, Shin'ichi

Publication type:

Article

On The Uniqueness of the Lindenbaum Extension.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 5, p. 463, doi. 10.1002/malq.19880340509

By:

StępIeń, Teodor

Publication type:

Article

Many-Valued Modal Propositional Calculi.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 4, p. 343, doi. 10.1002/malq.19880340411

By:

Ostermann, Pascal

Publication type:

Article

On The Imaginary Logic of N. A. VASILIEV.

Published in:

Mathematical Logic Quarterly, 1988, v. 34, n. 3, p. 205, doi. 10.1002/malq.19880340304

By:

Puga, Leila Z.;
Da Costa, Newton C. A.

Publication type:

Article

On Some Subsystems of Dummett's LC.

Published in:

Mathematical Logic Quarterly, 1985, v. 31, n. 14-18, p. 243, doi. 10.1002/malq.19850311406

By:

Boričić, Branislav R.

Publication type:

Article

Formalisations of Many-Valued Propositional Calculi with Variable Functors.

Published in:

Mathematical Logic Quarterly, 1985, v. 31, n. 25-28, p. 403, doi. 10.1002/malq.19850312504

By:

Jones, John

Publication type:

Article