Sciweavers

    4370 search results - page 17 / 874
    » Algebra of Logic Programming
    Sort
    View
    WOLLIC
    2009
    Springer
    108views Artificial Intelligence» more  WOLLIC 2009»
    Algebraic Valuations as Behavioral Logical Matrices
    14 years 3 months ago
    Algebraic Valuations as Behavioral Logical Matrices
    Download  sqig.math.ist.utl.pt
    Abstract. The newly developed behavioral approach to the algebraization of logics extends the applicability of the methods of algebraic logic to a wider range of logical systems, n...
    Carlos Caleiro, Ricardo Gonçalves
    claim paper
    Read More »
    AMAST
    2006
    Springer
    124views Software Engineering» more  AMAST 2006»
    Fork Algebras as a Sufficiently Rich Universal Institution
    14 years 17 days ago
    Fork Algebras as a Sufficiently Rich Universal Institution
    Download  publicaciones.dc.uba.ar
    Algebraization of computational logics in the theory of fork algebras has been a research topic for a while. This research allowed us to interpret classical first-order logic, seve...
    Carlos López Pombo, Marcelo F. Frias
    claim paper
    Read More »
    EUSFLAT
    2009
    96views Fuzzy Logic» more  EUSFLAT 2009»
    Representation of States on MV-algebras by Probabilities on R-generated Boolean Algebras
    13 years 6 months ago
    Representation of States on MV-algebras by Probabilities on R-generated Boolean Algebras
    Download  library.utia.cas.cz
    Brunella Gerla, Tomás Kroupa
    claim paper
    Read More »
    EUSFLAT
    2009
    136views Fuzzy Logic» more  EUSFLAT 2009»
    A process Algebra Approach to Fuzzy Reasoning
    13 years 6 months ago
    A process Algebra Approach to Fuzzy Reasoning
    Download  www.sti.uniurb.it
    Liliana D'Errico, Michele Loreti
    claim paper
    Read More »
    NDJFL
    1998
    119views more  NDJFL 1998»
    Bochvar-McCarthy Logic and Process Algebra
    13 years 8 months ago
    Bochvar-McCarthy Logic and Process Algebra
    Download  staff.science.uva.nl
    We propose a combination of Bochvar’s strict three-valued logic, McCarthy’s sequential three-valued logic, and process algebra via the condi
    Jan A. Bergstra, Alban Ponse
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.