Search
Now showing items 1-10 of 728
Lógica jurídica e jurisprudência. O conceito de 'lógica jurídica' de Ulrich Klug
(Editora FGV e Editora Fórum, 2016-11-01)
This paper analyzes the concept of legal logic exposed by German jurist Ulrich Klug, confronting the elements that led him to classify legal logic as part of formal logic.
An alternative approach for quasi-truth
(Oxford University Press, 2014-04-01)
In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which ...
An alternative approach for quasi-truth
(Oxford University Press, 2014)
An alternative approach for quasi-truth
(Oxford Univ PressOxfordInglaterra, 2014)
The discovery/justification context dichotomy within formal and computational models of scientific theories: a weakening of the distinction based on the perspective of non-monotonic logics
(2017-03-27)
The present paper analyses the topic of scientific discovery and the problem of the existence of a logical framework involved in such endeavour. We inquire how several non-monotonic logic frameworks and other formalisms ...
On the formal semantics of IF-like logics
(Elsevier Inc, 2010-08)
In classical logics, the meaning of a formula is invariant with respect to the renaming of bound variables. This property, normally taken for granted, has been shown not to hold in the case of Independence Friendly (IF) ...