Damian Szmuc

Available identifiers

zbMath Open szmuc.damian-enriqueMaRDI QIDQ1679764

List of research outcomes

Publication	Date of Publication	Type
Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic	2024-11-25	Paper
On three-valued presentations of classical logic	2024-11-14	Paper
On three-valued presentations of classical logic	2023-12-26	Paper
Substructural logics, pluralism and collapse	2023-12-14	Paper
(Meta)inferential levels of entailment beyond the Tarskian paradigm	2023-12-14	Paper
The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)	2023-05-04	Paper
Derivability and metainferential validity	2023-01-23	Paper
Pure Refined Variable Inclusion Logics	2023-01-13	Paper
An introduction to the special issue: logics and their interpretations. II	2022-12-20	Paper
Pure variable inclusion logics	2022-03-29	Paper
Meaningless divisions	2022-02-14	Paper
A simple logical matrix and sequent calculus for Parry's logic of analytic implication	2021-11-11	Paper
Immune logics	2021-06-29	Paper
Metainferential duality	2021-06-11	Paper
Theories of truth based on four-valued infectious logics	2021-01-08	Paper
What is a paraconsistent logic?	2020-08-06	Paper
A recovery operator for nontransitive approaches	2020-03-25	Paper
Modeling the interaction of computer errors by four-valued contaminating logics	2020-03-04	Paper
A hierarchy of classical and paraconsistent logics	2020-02-24	Paper
An epistemic interpretation of paraconsistent weak Kleene logic	2020-02-11	Paper
Logics based on linear orders of contaminating values	2020-02-03	Paper
Relevant logics obeying component homogeneity	2019-03-19	Paper
A Note on Goddard and Routley's Significance Logic	2019-03-19	Paper
A paraconsistent route to semantic closure	2019-01-08	Paper
Defining LFIs and LFUs in extensions of infectious logics	2018-09-12	Paper
Conjunction and disjunction in infectious logics	2017-11-22	Paper
ON PATHOLOGICAL TRUTHS	2015-03-02	Paper

Research outcomes over time

This page was built for person: Damian Szmuc