Proof Search on Bilateralist Judgments over Non-deterministic Semantics

  title={Proof Search on Bilateralist Judgments over Non-deterministic Semantics},
  author={Vitor Rodrigues Greati and S{\'e}rgio Marcelino and J. Martin Marcos},
The bilateralist approach to logical consequence maintains that judgments of different qualities should be taken into account in determining what-follows-from-what. We argue that such an approach may be actualized by a two-dimensional notion of entailment induced by semantic structures that also accommodate non-deterministic and partial interpretations, and propose a prooftheoretical apparatus to reason over bilateralist judgments using symmetrical two-dimensional analytical Hilbert-style… 

Finite two-dimensional proof systems for non-finitely axiomatizable logics

A recipe for cooking up a two-dimensional logical matrix by the combination of two (possibly partial) non-deterministic logical matrices is introduced and it is shown that such a combination may result in B -matrices satisfying the property of sufficient expressiveness.



On Axioms and Rexpansions

We study the general problem of strengthening the logic of a given (partial) (non-deterministic) matrix with a set of axioms, using the idea of rexpansion. We obtain two characterization methods: a

Multi-valued Calculi for Logics Based on Non-determinism

The Rasiowa-Sikorski (R-S) decomposition methodology is used to get sound and complete proof systems employing finite sets of mv-signed formulas for all propositional logics based on Nmatrices with either of the above types of semantics.

Infectious semantics and analytic calculi for even more inclusion logics

It is shown that non-determinism can be used to give simple and effective many-valued semantics to a range of companions of a given many- valued logic that result from filtering its inferences by requiring that variables of the premises and conclusion of an inference respect an inclusion requirement.

What is a logical theory? On theories containing assertions and denials

A novel notion of theory is introduced that attacks the shortcomings of the received notion by allowing one to take both assertions and denials on a par, and is based on a bilateralist approach to consequence operators.

Analytic Calculi for Monadic PNmatrices

It is proved that simple axiomatizations can always be obtained, using inference rules which can have more than one conclusion, which seems to raise a contrast with recent non-analyticity results for sequent-calculi with PNmatrix semantics.

Possible-translations semantics for some weak classically-based paraconsistent logics

In many real-life applications of logic it is useful to interpret a particular sentence as true together with its negation. If we are talking about classical logic, this situation would force all

Multi-valued Semantics: Why and How

It is shown that one can get both modularity and analycity by using the semantic framework of multi-valued non-deterministic matrices, and that for using this framework in a constructive way it is best to view “truth-values” as information carriers, or “information- values”.

Tarskian consequence relations bilaterally: some familiar notions

This paper is dedicated to developing a formalism that takes rejection seriously and shows how David Nelson’s logic N4 can be characterized bilaterally and the corresponding completeness result is proved.


This paper presents a 5-valued characteristic nondeterministic matrix for mCi, which provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.