The following pages link to (Q5411496):
Displaying 9 items.
- A functional partial semantics for intensional logic (Q689211) (← links)
- Partial-predicate logic in computer science (Q1079560) (← links)
- Partial up an down logic (Q1903583) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Intuitionistic Trilattice Logics (Q3069727) (← links)
- (Q3481670) (← links)
- (Q3835445) (← links)
- Дедуктивные логики и их связь с интуиционистской логикой (Q4566143) (← links)
- Formal Methods in Software and Systems Modeling (Q5710409) (← links)