Arama Sonuçları - "classical logic"

The Effect of Cognitive Styles on Learning an Aiming Task in Closed and Open Environments Based on Fuzzy and Classic Logics Yazar: Abas Akbari Varzaneh, Rokhsareh Badami, Mehdi Namazizadeh

Connect to this object online.

Impossible Worlds Yazar: Berto, Francesco

Konular: “…Non-classical logic…”
DOAB: download the publication
DOAB: description of the publication

Impossible Worlds Yazar: Berto, Francesco

Konular: “…Non-classical logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Logical Writings of Karl Popper

Konular: “…Classical Logic…”
DOAB: download the publication
DOAB: description of the publication

The Logical Writings of Karl Popper

Konular: “…Classical Logic…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Inquisitive Logic Consequence and Inference in the Realm of Questions Yazar: Ciardelli, Ivano

Konular: “…how classical logic can be made inquisitive…”
DOAB: download the publication
DOAB: description of the publication

Inquisitive Logic Consequence and Inference in the Realm of Questions Yazar: Ciardelli, Ivano

Konular: “…how classical logic can be made inquisitive…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Konular: “…non-classical logics…”
DOAB: download the publication
DOAB: description of the publication

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

Konular: “…non-classical logics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

On some axiomatic extensions of the monoidal T-norm based logic MTL. Yazar: Matteo Bianchi

DOAB: download the publication
DOAB: description of the publication

Bridging the Gap: An Epistemic Logical Model for Analysing Students' Argumentation and Proof in Mathematics Education Research Yazar: Miglena Asenova

Connect to this object online.

THE NOTHINGNESS OF THE GETTIER PROBLEM Yazar: Tom Eneji Ogar, Edor J. Edor

Connect to this object online.

An Introduction to Logic From Everyday Life to Formal Systems Yazar: Mosley, Albert, Baltazar, Eulalio

İçindekiler: “…Table of Contents -- Introduction: Language and Rationality -- Chapter 1: The Structure of Arguments -- Chapter 2: Classical Logic -- Chapter 3: Categorical Inferences -- Chapter 4: Modern Logic -- Chapter 5: Applications of Modern Logic -- Chapter 6: Inductive Inferences -- Chapter 7: Informal Fallacies…”
Access online version

Lógica formal da lógica aristotélica ao cálculo sentencial bivalente Yazar: Soares, Edvaldo

DOAB: download the publication
DOAB: description of the publication

Research on Teaching and Learning Probability Yazar: Batanero, Carmen, Chernoff, Egan J., Engel, Joachim, Lee, Hollylynne S., Sánchez, Ernesto

Link to Metadata

Quantum Structures in Cognitive and Social Science Yazar: Sandro Sozzo

DOAB: download the publication
DOAB: description of the publication

Incorrect arguments of scientific discourse in pedagogical texts, or samples for non-imitation Yazar: A. V. Korzhuev, N. V. Golovina, N. A. Kontarov, Yu. B. Ikrennikova

Connect to this object online.

Las organizaciones de enfermería como sistemas complejos Yazar: Caro Castillo Clara Virginia, Alzate P. Martha Lucía, Erdmann Alacoque Lorenzini

Connect to this object online.

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /

İçindekiler: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata

The use of DNA to nail male enjoyer of sex: a contemporary analysis from Islamic legal perspective / Sayed Sikandar Shah Haneef Yazar: Shah Haneef, Sayed Sikandar

Link Metadata