Compact Propositional Godel Logics

doi 10.1109/ismvl.1998.679315
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

IEEE Comput. Soc

Related search

Super-Łukasiewicz Propositional Logics

Nagoya Mathematical Journal
Mathematics
1981English

Hypersequent Calculi for Godel Logics -- A Survey

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
2003English

Labelled Propositional Modal Logics: Theory and Practice

Journal of Logic and Computation
ArtsHumanitiesHardwareArchitectureLogicTheoretical Computer ScienceSoftware
1997English

Implementation of Propositional Temporal Logics Using BDDs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

The Complexity of Model Checking for Propositional Default Logics

Data and Knowledge Engineering
Information SystemsManagement
2005English

On Modal Logics Arising From Scattered Locally Compact Hausdorff Spaces

Annals of Pure and Applied Logic
Logic
2019English

Propositional Relevance

Informal Logic
Philosophy
1990English

Propositional Attitudes

2018English

Propositional Fusion Rules

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy