Works matching DE "PREDICATE (Logic)"
Results: 644
Deepening Intentionality and Linguisticality With Nothingness: An Eastern Perspective on the Fusion of Phenomenology and Hermeneutics.
- Published in:
- Qualitative Inquiry, 2020, v. 26, n. 5, p. 479, doi. 10.1177/1077800419836687
- By:
- Publication type:
- Article
Symmetric relations, symmetric theories, and Pythagrapheanism.
- Published in:
- Philosophy & Phenomenological Research, 2023, v. 107, n. 3, p. 583, doi. 10.1111/phpr.12920
- By:
- Publication type:
- Article
Neopragmatist semantics.
- Published in:
- Philosophy & Phenomenological Research, 2023, v. 106, n. 1, p. 107, doi. 10.1111/phpr.12842
- By:
- Publication type:
- Article
On Trying to Leave Truth Alone.
- Published in:
- Philosophical Quarterly, 2022, v. 72, n. 1, p. 197, doi. 10.1093/pq/pqab004
- By:
- Publication type:
- Article
On the formation of a conjecturing clause-taking predicate in Modern Chinese: A conjoining account of huaiyi.
- Published in:
- Functions of Language, 2021, v. 28, n. 2, p. 183, doi. 10.1075/fol.19029.lon
- By:
- Publication type:
- Article
Construction of a Monadic Heyting Algebra in a Logos.
- Published in:
- Journal of Mathematical Sciences, 2016, v. 218, n. 6, p. 788, doi. 10.1007/s10958-016-3065-x
- By:
- Publication type:
- Article
Cardinality Reduction Theorem for Logics QHC and QH4.
- Published in:
- Algebra & Logic, 2023, v. 61, n. 6, p. 491, doi. 10.1007/s10469-023-09715-0
- By:
- Publication type:
- Article
Sessions of the Seminar "Algebra i Logika".
- Published in:
- 2021
- Publication type:
- Calendar
Existence and Uniqueness of Structures Computable in Polynomial Time.
- Published in:
- Algebra & Logic, 2016, v. 55, n. 1, p. 72, doi. 10.1007/s10469-016-9377-6
- By:
- Publication type:
- Article
Sessions of the seminar “Algebra i Logika” (Mal'tsev Conference, Nov. 13–15, 2007).
- Published in:
- Algebra & Logic, 2008, v. 47, n. 3, p. 228, doi. 10.1007/s10469-008-9008-y
- Publication type:
- Article
«FULL OF DAZE, SHOCK AND AMAZE»: a reception history of the X-ray, or 'Rontgen Rays'.
- Published in:
- Revelar: Revista de Estudos da Fotografia e Imagem, 2020, v. 5, p. 78
- By:
- Publication type:
- Article
French Predicate Anaphora, Comparatives, and Ellipsis.
- Published in:
- Probus: International Journal of Latin & Romance Linguistics, 2023, v. 35, n. 1, p. 213, doi. 10.1515/probus-2022-0017
- By:
- Publication type:
- Article
Regards croisés sur l'adjectif.
- Published in:
- Neophilologica, 2023, v. 35, p. 1, doi. 10.31261/NEO.2023.35.16
- By:
- Publication type:
- Article
Il ne faut pas se laisser tromper par la langue: entre syntaxe et sémantique.
- Published in:
- Neophilologica, 2022, n. 34, p. 1, doi. 10.31261/NEO.2022.34.21
- By:
- Publication type:
- Article
A formal methods approach to interpretable reinforcement learning for robotic planning.
- Published in:
- Science Robotics, 2019, v. 4, n. 37, p. 1, doi. 10.1126/scirobotics.aay6276
- By:
- Publication type:
- Article
Logic Primer.
- Published in:
- 2022
- By:
- Publication type:
- Book Review
Acerca de las proposiciones de primera persona según Hanks. Comunicación de se y reportes de se.
- Published in:
- Anuario Filosófico, 2022, v. 55, n. 2, p. 359, doi. 10.15581/009.55.2.006
- By:
- Publication type:
- Article
Philosophy and Logic of Predication.
- Published in:
- 2018
- By:
- Publication type:
- Book Review
Redundancia, definición y predicación. Algunas lecciones de Tópicos VI<sub>3</sub>.
- Published in:
- Anuario Filosófico, 2013, v. 46, n. 1, p. 167
- By:
- Publication type:
- Article
Perspectiva, unidad y alcance de las críticas kantianas a dos interpretaciones de "existe": Kritikder reinen Vernunft A 592-602/B 620-630 (II).
- Published in:
- Anuario Filosófico, 2011, v. 44, n. 3, p. 583
- By:
- Publication type:
- Article
دراسة مقارنة بين اللغتين الفارسية والعربية في المرکب الفعلي بناء علي نظرية س- شرطة وفاعليتها في تعليم العربية للطلاب الناطقين بالفارسية.
- Published in:
- Journal of Babylon Center for Humanities Studies, 2021, v. 11, n. 1, p. 11
- By:
- Publication type:
- Article
How Incremental is the Processing of Perfective and Imperfective Aspect in Polish? An Exploratory Event-Related Potential Study.
- Published in:
- Journal of Slavic Linguistics, 2020, v. 28, n. 1, p. N.PAG, doi. 10.1353/jsl.2020.0001
- By:
- Publication type:
- Article
Slavic Generative Syntax.
- Published in:
- Journal of Slavic Linguistics, 2017, v. 25, n. 2, p. 199, doi. 10.1353/jsl.2017.0009
- By:
- Publication type:
- Article
Urdu And English Verb Phrases: A Syntactic Analysis Of Sub-Categories And Verb-Agreement Relationship.
- Published in:
- Journal of Namibian Studies, 2023, v. 33, p. 5283
- By:
- Publication type:
- Article
Coinductive predicates and final sequences in a fibration.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 4, p. 562, doi. 10.1017/S0960129517000056
- By:
- Publication type:
- Article
Positive predicate structures for continuous data.
- Published in:
- Mathematical Structures in Computer Science, 2015, v. 25, n. 8, p. 1669, doi. 10.1017/S0960129513000315
- By:
- Publication type:
- Article
Antyutopia -- o gatunku, którego nie było.
- Published in:
- Problems of Literary Genres / Zagadnienia Rodzajów Literackich, 2019, v. 62, n. 4, p. 9, doi. 10.26485/ZRL/2019/62.4/1
- By:
- Publication type:
- Article
COMMENT «SURINTENSIFIER» LES EXPRESSIONS D’INTENSITÉ ? L’EXEMPLE DES COLLOCATIONS ADJ/V COMME SN ET ADJ/N À FAIRE <sub>V</sub>.
- Published in:
- Estudios Románicos, 2021, v. 30, p. 59, doi. 10.6018/ER.471871
- By:
- Publication type:
- Article
WHAT SPANISH CAN TELL US ABOUT THE SYNTAX OF EVENTIVES VS. STATIVE VERBAL PREDICATES.
- Published in:
- Borealis: An International Journal of Hispanic Linguistics, 2024, v. 13, n. 1, p. 57, doi. 10.7557/1.13.1.7448
- By:
- Publication type:
- Article
ESTAR = SER + X.
- Published in:
- Borealis: An International Journal of Hispanic Linguistics, 2016, v. 5, n. 1, p. 123, doi. 10.7557/1.5.1.3634
- By:
- Publication type:
- Article
Geach's Three Most Inspiring Errors Concerning Medieval Logic.
- Published in:
- Philosophical Investigations, 2015, v. 38, n. 1/2, p. 34, doi. 10.1111/phin.12075
- By:
- Publication type:
- Article
Geach, Aristotle and Predicate Logics.
- Published in:
- Philosophical Investigations, 2015, v. 38, n. 1/2, p. 96, doi. 10.1111/phin.12077
- By:
- Publication type:
- Article
Monadic NM-algebras: an algebraic approach to monadic predicate nilpotent minimum logic.
- Published in:
- Journal of Logic & Computation, 2022, v. 32, n. 4, p. 741, doi. 10.1093/logcom/exab076
- By:
- Publication type:
- Article
Automata theory approach to predicate intuitionistic logic.
- Published in:
- Journal of Logic & Computation, 2022, v. 32, n. 3, p. 554, doi. 10.1093/logcom/exab069
- By:
- Publication type:
- Article
Corrigendum to: Frame definability, canonicity and cut elimination in common sense modal predicate logics.
- Published in:
- Journal of Logic & Computation, 2022, v. 32, n. 1, p. 172, doi. 10.1093/logcom/exab031
- By:
- Publication type:
- Article
Frame definability, canonicity and cut elimination in common sense modal predicate logics.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 8, p. 1933, doi. 10.1093/logcom/exaa067
- By:
- Publication type:
- Article
Negation as a modality in a quantified setting.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 5, p. 1330, doi. 10.1093/logcom/exab025
- By:
- Publication type:
- Article
Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 2, p. 494, doi. 10.1093/logcom/exaa091
- By:
- Publication type:
- Article
Categorical and algebraic aspects of the intuitionistic modal logic IEL<sup>―</sup> and its predicate extensions.
- Published in:
- Journal of Logic & Computation, 2021, v. 31, n. 1, p. 347, doi. 10.1093/logcom/exaa082
- By:
- Publication type:
- Article
Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 7, p. 1305, doi. 10.1093/logcom/exaa041
- By:
- Publication type:
- Article
Recursive enumerability and elementary frame definability in predicate modal logic.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 2, p. 549, doi. 10.1093/logcom/exz028
- By:
- Publication type:
- Article
On the complexity of index sets for finite predicate logic programs which allow function symbols.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 1, p. 107, doi. 10.1093/logcom/exaa005
- By:
- Publication type:
- Article
In defence of deontic diversity.
- Published in:
- Journal of Logic & Computation, 2019, v. 29, n. 3, p. 349, doi. 10.1093/logcom/exv057
- By:
- 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:
- Publication type:
- Article
Complexity of existential positive first-order logic.
- Published in:
- Journal of Logic & Computation, 2013, v. 23, n. 4, p. 753, doi. 10.1093/logcom/exr043
- By:
- Publication type:
- Article
Preserving mappings in fuzzy predicate logics.
- Published in:
- Journal of Logic & Computation, 2012, v. 22, n. 6, p. 1367, doi. 10.1093/logcom/exr019
- By:
- Publication type:
- Article
Semantically closed intuitionistic abstract logics.
- Published in:
- Journal of Logic & Computation, 2012, v. 22, n. 3, p. 351, doi. 10.1093/logcom/exq060
- By:
- Publication type:
- Article
Comments on Interpretability and Decidability in Fuzzy Logic.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 5, p. 823, doi. 10.1093/logcom/exp058
- By:
- Publication type:
- Article
Eskolemization in Intuitionistic Logic.
- Published in:
- Journal of Logic & Computation, 2011, v. 21, n. 4, p. 625, doi. 10.1093/logcom/exp040
- By:
- Publication type:
- Article
Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 2, p. 399, doi. 10.1093/logcom/exp052
- By:
- Publication type:
- Article