Buscar
Mostrando ítems 1-10 de 12
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras
(SpringerNew YorkEUA, 2014)
Internal proof calculi for modal logics with separating conjunction
(Oxford University Press, 2021-04)
Modal separation logics are formalisms that combine modal operators to reason locally, with separating connectives that allow to perform global updates on the models. In this work, we design Hilbert-style proof systems for ...
Hilbert calculi for the main fragments of Classical LogicCálculos de Hilbert para os principais fragmentos da Lógica Clássica
(Universidade Federal do Rio Grande do NorteBrasilUFRNCiência da Computação, 2019)
Extração automática de cálculos de Hilbert associados aos fragmentos da lógica clássicaAutomatic extraction of Hilbert Calculi associated to fragments of classical logic
(Universidade Federal do Rio Grande do NorteBrasilUFRNBacharelado em Ciência da Computação, 2019)
Hilbert-style formalism for two-dimensional notions of consequence
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-21)
The present work proposes a two-dimensional Hilbert-style deductive formalism (H-formalism) for B-consequence relations, a class of two-dimensional
logics that generalize the usual (Tarskian, one-dimensional) notions of ...
Algebraic semantics and calculi for Nelson's logics
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-02-18)
The aim of this thesis is to study a family of logics, comprised of Nelson’s logic S, constructive logic with strong negation N 3, quasi-Nelson logic QN and quasi-Nelson implicative
logic QN I. This is done in two ways. ...
Conservative Translations
(, 2001)
Many-valued Logics And Translations
(, 1999)