Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Logic and Logical Philosophy

Authors help

  1. 1 Genito D.

  2. 1 Gerla G.

Years help

  1. 1 2014

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  world-based semantics
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Connecting bilattice theory with multivalued logic

100%
Genito D., Gerla G.
Logic and Logical Philosophy
|
2014
|
vol. 23
|
issue 1
15–45
EN
This is an exploratory paper whose aim is to investigate the potentialities of bilattice theory for an adequate definition of the deduction apparatus for multi-valued logic. We argue that bilattice theory enables us to obtain a nice extension of the graded approach to fuzzy logic. To give an example, a completeness theorem for a logic based on Boolean algebras is proved.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.