Matches in SemOpenAlex for { <https://semopenalex.org/work/W2371889016> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2371889016 abstract "Paradoxical logic LP is a paraconsistent logic. Minimally paradoxical logic LPm is anonmonotonic extension of LP. In this paper, tableau calculus for first-order LP and LPm areprovided. Based on semantic properties of (minimally) paradoxical logic, signed tableaux for LP is firstlypresented. Minimal tableaux for LPm is then proposed. The soundness and completeness of LP andLPm with respect to the semantics are proved, respectively." @default.
- W2371889016 created "2016-06-24" @default.
- W2371889016 creator A5022540704 @default.
- W2371889016 date "1998-01-01" @default.
- W2371889016 modified "2023-09-22" @default.
- W2371889016 title "PARADOXICAL LOGIC AND TABLEAU CALCULUS" @default.
- W2371889016 hasPublicationYear "1998" @default.
- W2371889016 type Work @default.
- W2371889016 sameAs 2371889016 @default.
- W2371889016 citedByCount "0" @default.
- W2371889016 crossrefType "journal-article" @default.
- W2371889016 hasAuthorship W2371889016A5022540704 @default.
- W2371889016 hasConcept C102993220 @default.
- W2371889016 hasConcept C134306372 @default.
- W2371889016 hasConcept C16796852 @default.
- W2371889016 hasConcept C169896238 @default.
- W2371889016 hasConcept C17231256 @default.
- W2371889016 hasConcept C184337299 @default.
- W2371889016 hasConcept C199343813 @default.
- W2371889016 hasConcept C199360897 @default.
- W2371889016 hasConcept C2777686260 @default.
- W2371889016 hasConcept C2778029271 @default.
- W2371889016 hasConcept C33923547 @default.
- W2371889016 hasConcept C39920170 @default.
- W2371889016 hasConcept C41008148 @default.
- W2371889016 hasConcept C71924100 @default.
- W2371889016 hasConceptScore W2371889016C102993220 @default.
- W2371889016 hasConceptScore W2371889016C134306372 @default.
- W2371889016 hasConceptScore W2371889016C16796852 @default.
- W2371889016 hasConceptScore W2371889016C169896238 @default.
- W2371889016 hasConceptScore W2371889016C17231256 @default.
- W2371889016 hasConceptScore W2371889016C184337299 @default.
- W2371889016 hasConceptScore W2371889016C199343813 @default.
- W2371889016 hasConceptScore W2371889016C199360897 @default.
- W2371889016 hasConceptScore W2371889016C2777686260 @default.
- W2371889016 hasConceptScore W2371889016C2778029271 @default.
- W2371889016 hasConceptScore W2371889016C33923547 @default.
- W2371889016 hasConceptScore W2371889016C39920170 @default.
- W2371889016 hasConceptScore W2371889016C41008148 @default.
- W2371889016 hasConceptScore W2371889016C71924100 @default.
- W2371889016 hasLocation W23718890161 @default.
- W2371889016 hasOpenAccess W2371889016 @default.
- W2371889016 hasPrimaryLocation W23718890161 @default.
- W2371889016 hasRelatedWork W133336308 @default.
- W2371889016 hasRelatedWork W1503070883 @default.
- W2371889016 hasRelatedWork W1544270696 @default.
- W2371889016 hasRelatedWork W1555569636 @default.
- W2371889016 hasRelatedWork W1570848118 @default.
- W2371889016 hasRelatedWork W1574843523 @default.
- W2371889016 hasRelatedWork W1789921437 @default.
- W2371889016 hasRelatedWork W1948104915 @default.
- W2371889016 hasRelatedWork W1981979308 @default.
- W2371889016 hasRelatedWork W1991500340 @default.
- W2371889016 hasRelatedWork W2055558461 @default.
- W2371889016 hasRelatedWork W2075692041 @default.
- W2371889016 hasRelatedWork W2111490376 @default.
- W2371889016 hasRelatedWork W2165019859 @default.
- W2371889016 hasRelatedWork W2207512644 @default.
- W2371889016 hasRelatedWork W22145174 @default.
- W2371889016 hasRelatedWork W2497058334 @default.
- W2371889016 hasRelatedWork W2594264882 @default.
- W2371889016 hasRelatedWork W2963562820 @default.
- W2371889016 hasRelatedWork W53164196 @default.
- W2371889016 isParatext "false" @default.
- W2371889016 isRetracted "false" @default.
- W2371889016 magId "2371889016" @default.
- W2371889016 workType "article" @default.