Works matching DE "NONCLASSICAL mathematical logic"

Results: 178

NAÏVE VALIDITY.

Published in:

Philosophical Quarterly, 2014, v. 64, n. 254, p. 99, doi. 10.1093/pq/pqt016

By:

WEBER, ZACH

Publication type:

Article

Analytical approximations of one-dimensional hyperbolic equation with non-local integral conditions by reduced differential transform method.

Published in:

Computational Methods for Differential Equations, 2020, v. 8, n. 3, p. 537, doi. 10.22034/cmde.2020.29576.1424

By:

Noori, Seyyedeh Roodabeh Moosavi;
Taghizadeh, Nasir;
Manafian, Jalil

Publication type:

Article

SOLVING TEXTUAL ENTAILMENT WITH THE THEOREM PROVER FOR NATURAL LANGUAGE.

Published in:

Applied Mathematics, Informatics & Mechanics, 2020, v. 25, n. 2, p. 114

By:

Abzianidze, Lasha

Publication type:

Article

Nonlinear Two-Mode Squeezed Vacuum States as Realization of SU(1,1) Lie Algebra.

Published in:

Turkish Journal of Physics, 2008, v. 32, n. 3, p. 115

By:

Abd Al-Kader, Gamal Mohamed;
Fahmy Obada, Abdel-Shafy

Publication type:

Article

Reduction Operators and Exact Solutions of Variable Coefficient Nonlinear Wave Equations with Power Nonlinearities.

Published in:

Symmetry (20738994), 2017, v. 9, n. 1, p. 3, doi. 10.3390/sym9010003

By:

Dingjiang Huang;
Yan Zhu;
Qinmin Yang

Publication type:

Article

RELATIONAL AND NEIGHBORHOOD SEMANTICS FOR INTUITIONISTIC MODAL LOGIC.

Published in:

Reports on Mathematical Logic, 2012, n. 47, p. 87, doi. 10.4467/20842589RM.12.004.0685

By:

KOJIMA, Kensuke

Publication type:

Article

FIXED POINT THEOREMS FOR MULTIVALUED WEAK CONTRACTIONS.

Published in:

Studia Universitatis Babeş-Bolyai, Mathematica, 2009, n. 3, p. 33

By:

Filip, Alexandru-Darius;
Tünde^Petru, Petra

Publication type:

Article

FIXED POINT THEORY FOR MULTIVALUED GENERALIZED CONTRACTION ON A SET WITH TWO b-METRICS.

Published in:

Studia Universitatis Babeş-Bolyai, Mathematica, 2009, n. 3, p. 3

By:

Boriceanu, Monica

Publication type:

Article

A nonclassical law of the iterated logarithm for self-normalized partial sums.

Published in:

Acta Mathematica Hungarica, 2013, v. 141, n. 3, p. 238, doi. 10.1007/s10474-013-0323-y

By:

Hwang, Kyo-Shin;
Pang, Tian-Xiao

Publication type:

Article

Iterative fixed point theorems in E-metric spaces.

Published in:

Acta Mathematica Hungarica, 2013, v. 140, n. 1/2, p. 134, doi. 10.1007/s10474-012-0274-8

By:

Páles, Zsolt;
Petre, Ioan-Radu

Publication type:

Article

A nonclassical LIL for sums of B-valued random variables when extreme terms are excluded.

Published in:

Acta Mathematica Hungarica, 2012, v. 137, n. 1/2, p. 1, doi. 10.1007/s10474-012-0209-4

By:

Fu, Ke-Ang

Publication type:

Article

NONCLASSICAL QUATERNIONS AND PENTANIONS IN PROBLEMS OF INERTIAL ORIENTATION.

Published in:

Electronics & Control Systems, 2016, v. 49, n. 3, p. 48

By:

Panov, A. P.;
Ponomarenko, S. A.

Publication type:

Article

On Some Classes of Linear Volterra Integral Equations.

Published in:

Abstract & Applied Analysis, 2014, p. 1, doi. 10.1155/2014/532409

By:

Apartsyn, Anatoly S.

Publication type:

Article

Propagation of nonclassical correlations through one-dimensional quantum networks.

Published in:

Quantum Information Processing, 2014, v. 13, n. 8, p. 1841, doi. 10.1007/s11128-014-0776-0

By:

Hu, Zheng-Da;
Zhang, Yixin;
Zhang, Ye-Qi

Publication type:

Article

Tractable measure of nonclassical correlation using density matrix truncations.

Published in:

Quantum Information Processing, 2011, v. 10, n. 4, p. 431, doi. 10.1007/s11128-010-0208-8

By:

SaiToh, Akira;
Rahimi, Robabeh;
Nakahara, Mikio

Publication type:

Article

Nonclassical boundary-value problems. I.

Published in:

Journal of Mathematical Sciences, 2008, v. 155, n. 2, p. 199, doi. 10.1007/s10958-008-9218-9

By:

Skubachevskii, A.

Publication type:

Article

Refined Design of Corrugated Noncircular Cylindrical Shells.

Published in:

International Applied Mechanics, 2005, v. 41, n. 1, p. 7, doi. 10.1007/s10778-005-0052-1

By:

Grigorenko, Ya. M.;
Yaremchenko, S. N.

Publication type:

Article

Characterizing logical consequence in many-valued logic.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 7, p. 2193, doi. 10.1093/logcom/exx001

By:

CHEMLA, EMMANUEL;
ÉGRÉ, PAUL;
SPECTOR, BENJAMIN

Publication type:

Article

Undecidability of the transitive graded modal logic with converse.

Published in:

Journal of Logic & Computation, 2017, v. 27, n. 5, p. 1399, doi. 10.1093/logcom/exw026

By:

ZOLIN, EVGENY

Publication type:

Article

Multi-type display calculus for dynamic epistemic logic.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 6, p. 2017, doi. 10.1093/logcom/exu068

By:

FRITTELLA, SABINE;
GRECO, GIUSEPPE;
KURZ, ALEXANDER;
PALMIGIANO, ALESSANDRA;
SIKIMIĆ, VLASTA

Publication type:

Article

A semantic proof of strong cut-admissibility for first-order Gödel logic.

Published in:

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

By:

Lahav, Ori;
Avron, Arnon

Publication type:

Article

The d-logic of the real line.

Published in:

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

By:

Lucero-Bryan, Joel Gregory

Publication type:

Article

A Notion of Coherence for Books on Conditional Events in Many-valued Logic.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 5, p. 829, doi. 10.1093/logcom/exp061

By:

Montagna, Franco

Publication type:

Article

On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice.

Published in:

Journal of Logic & Computation, 2011, v. 21, n. 5, p. 739, doi. 10.1093/logcom/exp062

By:

Bou, Félix;
Esteva, Francesc;
Godo, Lluís;
Rodríguez, Ricardo Oscar

Publication type:

Article

On the Hierarchy of Intuitionistic Bounded Arithmetic.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 625

By:

MONIRI, MORTEZA

Publication type:

Article

A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 615

By:

GUELEV, DIMITAR P.

Publication type:

Article

A Note on Bisimulation Qantifiers and Fixed Points over Transitive Frames.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 601

By:

D'AGOSTINO, GIOVANNA;
LENZI, GIACOMO

Publication type:

Article

Sum and Product in Dynamic Epistemic Logic.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 563

By:

VAN DITMARSCH, H. P.;
RUAN, J.;
VERBRUGGE, R.

Publication type:

Article

Multi-modal and Temporal Logics with Universal Formula--Reduction of Admissibility to Validity and Unification.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 509

By:

RYBAKOV, V.

Publication type:

Article

On Product Logic with Truth-constants.

Published in:

Journal of Logic & Computation, 2006, v. 16, n. 2, p. 205, doi. 10.1093/logcom/exi075

By:

Savický, Petr;
Cignoli, Roberto;
Esteva, Francesc;
Godo, Lluís;
Noguera, Carles

Publication type:

Article

Approximate and Limited Reasoning: Semantics, Proof Theory, Expressivity and Control.

Published in:

Journal of Logic & Computation, 2004, v. 14, n. 2, p. 179, doi. 10.1093/logcom/14.2.179

By:

Finger, Marcelo;
Wasserman, Renata

Publication type:

Article

Ramification and causality in a modal action logic.

Published in:

Journal of Logic & Computation, 2000, v. 10, n. 5, doi. 10.1093/logcom/10.5.625

By:

Giordano, L;
Giordano, Laura;
Martelli, A;
Martelli, Alberto;
Schwind, C;
Schwind, Camilla

Publication type:

Article

On the expressive power of three-valued and four-valued languages.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 6, doi. 10.1093/logcom/9.6.977

By:

Avron, A;
Avron, Arnon

Publication type:

Article

Well-Posedness and Asymptotic Behavior of a Nonclassical Nonautonomous Diffusion Equation with Delay.

Published in:

International Journal of Bifurcation & Chaos in Applied Sciences & Engineering, 2015, v. 25, n. 14, p. -1, doi. 10.1142/S0218127415400210

By:

Caraballo, Tomás;
Márquez-Durán, Antonio M.;
Rivero, Felipe

Publication type:

Article

Nonclassical Periodic Functions: Their Calculation and Applications.

Published in:

Journal of Mathematical Sciences, 2016, v. 212, n. 2, p. 193, doi. 10.1007/s10958-015-2659-z

By:

Plakhtienko, M.

Publication type:

Article

Nonclassical relations between elements of Gramian matrices of vector systems of a unitary Hilbert space.

Published in:

Journal of Mathematical Sciences, 2012, v. 181, n. 4, p. 529, doi. 10.1007/s10958-012-0704-8

By:

Plakhtienko, M.

Publication type:

Article

Nonclassical boundary value problems for some systems of partial differential equations.

Published in:

Differential Equations, 2017, v. 53, n. 6, p. 784, doi. 10.1134/S001226611706009X

By:

Oshorov, B.

Publication type:

Article

Gellerstedt problem with nonclassical matching conditions for the solution gradient on the type change line with data on internal characteristics.

Published in:

Differential Equations, 2016, v. 52, n. 8, p. 1023, doi. 10.1134/S0012266116080073

By:

Moiseev, T.

Publication type:

Article

Gellerstedt problem with a generalized Frankl matching condition on the type change line with data on external characteristics.

Published in:

Differential Equations, 2016, v. 52, n. 2, p. 240, doi. 10.1134/S0012266116020099

By:

Moiseev, T.

Publication type:

Article

Nonclassical statements of problems for degenerate partial differential equations.

Published in:

Differential Equations, 2012, v. 48, n. 5, p. 730, doi. 10.1134/S0012266112050114

By:

Lomov, I.

Publication type:

Article

Nonclassical boundary value problem for the transport equation.

Published in:

Differential Equations, 2009, v. 45, n. 9, p. 1243, doi. 10.1134/S0012266109090018

By:

Balakina, E.

Publication type:

Article

Nonclassical boundary value problem for a pseudodifferential equation of variable order.

Published in:

Differential Equations, 2008, v. 44, n. 8, p. 1183, doi. 10.1134/S001226610808017X

By:

Chuong, Nguyen;
Kyet, Chan

Publication type:

Article

NONCLASSICALITY AND DECOHERENCE OF PHOTON-ADDED THERMAL STATE.

Published in:

International Journal of Quantum Information, 2010, v. 8, n. 8, p. 1373, doi. 10.1142/S0219749910006162

By:

WANG, SHU-JING;
XU, XUE-XIANG;
MA, SHAN-JUN

Publication type:

Article

Quantum Filtering Equations for a System Driven by Nonclassical Fields.

Published in:

Open Systems & Information Dynamics (OSID), 2018, v. 25, n. 2, p. N.PAG, doi. 10.1142/S1230161218500075

By:

Da̧browska, Anita

Publication type:

Article

A Pedagogical Overview of Quantum Discord.

Published in:

Open Systems & Information Dynamics (OSID), 2014, v. 21, n. 1/2, p. 1, doi. 10.1142/S123016121440006X

By:

Modi, Kavan

Publication type:

Article

REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 4, p. 752, doi. 10.1017/S1755020316000095

By:

RIN, BENJAMIN G.;
WALSH, SEAN

Publication type:

Article

EMBRACING THE TECHNICALITIES: EXPRESSIVE COMPLETENESS AND REVENGE.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 2, p. 325, doi. 10.1017/S175502031600006X

By:

TOURVILLE, NICHOLAS;
COOK, ROY T

Publication type:

Article

LOGICAL GROUNDS.

Published in:

Review of Symbolic Logic, 2014, v. 7, n. 1, p. 31, doi. 10.1017/S1755020313000300

By:

CORREIA, FABRICE

Publication type:

Article

FOUR BASIC LOGICAL ISSUES.

Published in:

Review of Symbolic Logic, 2009, v. 2, n. 3, p. 488, doi. 10.1017/S1755020309990219

By:

Brady, Ross;
Rush, Penelope

Publication type:

Article

The Essence of Nonclassicality: Non-Vanishing Signal Deficit.

Published in:

International Journal of Theoretical Physics, 2015, v. 54, n. 12, p. 4591, doi. 10.1007/s10773-015-2735-7

By:

Aravinda, S.;
Srikanth, R.

Publication type:

Article