NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 7 of 7 for “"Many-valued logic"”.

  1. On Structural Analysis of Many-Valued Logic

    Na, Hwa-Sung HsiehUniversity of Illinois at Urbana-Champaign2014

    Made available in DSpace on 2014-12-08T22:23:36Z (GMT). No. of bitstreams: 1 6500868.pdf: 3564533 bytes, checksum: 2978e9e31196e86cebe6d82c26c76b89 (MD5) Previous issue date: 1964

    uiuc Repository record

  2. A CATEGORICAL-ALGEBRAIC EXPLORATION OF MODELS FOR MANY-VALUED LOGIC

    CAPPELLETTI, ANDREAUniversità degli Studi di Milano2023

    … and MV-algebras, which are used in modeling logic with many truth values. In the first part, we show that the semi-abelian category of lattice-ordered groups satisfies several important properties, namely it is fiber-wise algebraically cartesian closed, strongly protomodular, and its full …

    milano Repository record

  3. A partial "squeezing theorem" for a particular class of many-valued logics

    Walk, Stephen Michael1994

    1 PDF file (v, 98 pages)

    northern-iowa Repository record

  4. Spectral Methods for Boolean and Multiple-Valued Input Logic Functions

    Falkowski, Bogdan Jaroslaw

    portland-state Repository record

  5. Synthesis of Irreversible Incompletely Specified Multi-Output Functions to Reversible EOSOPS Circuits with PSE Gates

    Fiszer, Robert Adrian

    portland-state Repository record

  6. Methods for Efficient Synthesis of Large Reversible Binary and Ternary Quantum Circuits and Applications of Linear Nearest Neighbor Model

    Hawash, Maher Mofeid

    portland-state Repository record

  7. Algebraic approach to modal extensions of Łukasiewicz logics

    Teheux, BrunoULiège - Université de Liège2009

    liege Repository record