In this paper we study symmetric inference systems (that is, pairs of inference systems) as refutation systems characterizing maximal logics with certain ...

In this paper we study symmetric inference systems (that is, pairs of inference systems) as refutation systems characterizing maximal logics with certain ...

A general theory of refutation systems is given. Some applications (concerning maximality and minimality in lattices of logics) are also discussed. 21 Citations.

I argue that the maximality principle mistakenly excludes some members of a kind. Thus, it is not the correct principle to explain why, for example, you are ...

This method stemmed from the so-called refutation calculus, where the focus in on rejecting rather than accepting formulas. The article A Generalisation of a ...

Jan 18, 2019 · The articles Maximality and Refutability Skura [(2004). Maximality and refutability. Notre Dame Journal of Formal Logic, 45, 65–72].

Also, refutation systems with RS are useful for establishing certain facts about the lattice of extensions of a given logic, especially, concerning maximality ...

Jun 19, 2019 · point of view of refutability. As acceptable axioms we take ... [9] Skura, T., “Maximality and refutability”, Notre Dame Journal of Formal.

We start the investigation of the class of Lj-extensions with the logic of classical refutability Le = Lj + {((p → q) → p) → p}. This important logic.

Mar 31, 2020 · Refutation systems are systems of formal, syntactic derivations, designed to derive the non-valid formulas or logical consequences of a ...