zbMath0807.03010MaRDI QIDQ4289329
Grzegorz Malinowski
Publication date: 3 May 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*,
Неклассический взгляд на природу значений истинности,
De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics,
Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models,
Adding a conditional to Kripke's theory of truth,
An Inferentially Many-Valued Two-Dimensional Notion of Entailment,
Paraconsistent constructive logic with strong negation as a contraction-free relevant logic,
Four-valued paradefinite logics,
GÖDEL ON MANY-VALUED LOGIC,
Sequent-type rejection systems for finite-valued non-deterministic logics,
A three-valued Fregean quantification logic,
Logics for actor networks: a two-stage constrained-hybridisation approach,
On the meaning of connectives (apropos of a non-necessitarianist challenge),
Why classical logic is privileged: justification of logics based on translatability,
Maximal and premaximal paraconsistency in the framework of three-valued semantics,
Periodicity of negation,
Four-Valued Logics BD and DM4: Expansions,
The Infinite-Valued Łukasiewicz Logic and Probability,
Neutral free logic: motivation, proof theory and models,
Unnamed Item,
Ideal paraconsistent logics,
Possible worlds in use,
Paraconsistency and Sette’s calculus P1,
Suszko's thesis, inferential many-valuedness, and the notion of a logical system,
Dual equivalent two-valued under-determined and over-determined interpretations for Łukasiewicz's 3-valued logic Ł3,
Non Truth-Functional Many-Valuedness,
A dissimilarity-based framework for generating inconsistency-tolerant logics,
Fuzzy topology and Łukasiewicz logics from the viewpoint of duality theory,
Conservative translations,
Pavelka-style fuzzy logic in retrospect and prospect,
Adding structure to MV-algebras,
A generic framework for adaptive vague logics,
Many-Valued Logics and Translations,
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics,
Taking degrees of truth seriously,
Three-Valued Paraconsistent Propositional Logics,
Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism,
Valuation semantics for first-order logics of evidence and truth,
Vagueness and Roughness,
Geometrical methods in Wajsberg hoops
