OpenAlex
General normal forms for any additive logic
Work
Year: 2017
Type: article
Abstract: In this article, we define general normal forms for any logic that has propositional part and whose non-propositional connectives distribute over the finite disjunctions. We do not require the non-pro... more
Source: Studia Scientiarum Mathematicarum Hungarica
Author Mohamed Khaled
Institutions Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, Cairo University
Cites: 15
Cited by: 4
Related to: 10
FWCI: 0.567
Citation percentile (by year/subfield): 60.13
Topic: Logic, Reasoning, and Knowledge
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green