Pages that link to "Item:Q1777639"
From MaRDI portal
The following pages link to Handbook of philosophical logic. Vol. 5 (Q1777639):
Displayed 34 items.
- A multi-periods production-inventory model with capacity constraints for multi-manufacturers - a global optimality in intuitionistic fuzzy environment (Q279653) (← links)
- Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
- Terminological difficulties in fuzzy set theory -- the case of ``intuitionistic fuzzy sets'' (Q812591) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- A more unified approach to free logics (Q830379) (← links)
- Backlogging EOQ model for promotional effort and selling price sensitive demand- an intuitionistic fuzzy approach (Q889523) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Paraconsistent inference relations induced from inconsistency measures (Q2105602) (← links)
- Orthomodular lattices as \(L\)-algebras (Q2156559) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← links)
- Notes on stratified semantics (Q2323698) (← links)
- A general mathematics of names (Q2373874) (← links)
- Lattice-theoretic properties of algebras of logic (Q2448299) (← links)
- Names and their kind of rigidity (Q2667066) (← links)
- One step is enough (Q2679573) (← links)
- Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} (Q2695349) (← links)
- Neutral free logic: motivation, proof theory and models (Q2698548) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- Contrary-To-Duties in Games (Q2900485) (← links)
- Semi-linear Varieties of Lattice-Ordered Algebras (Q2948590) (← links)
- Judgement aggregation in non-classical logics (Q4586224) (← links)
- (Q4997950) (← links)
- (Q4999723) (← links)
- PROOF-THEORETIC ANALYSIS OF THE QUANTIFIED ARGUMENT CALCULUS (Q5216971) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- PROVING UNPROVABILITY (Q5737963) (← links)
- Logical Foundations and Kant's Principles of Formal Logic (Q5871284) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- Proof-theoretic pluralism (Q6088951) (← links)
- Compositional truth with propositional tautologies and quantifier-free correctness (Q6139242) (← links)
- Conjunctive paraconsistency (Q6147152) (← links)
- Two quantum logics of indeterminacy (Q6180143) (← links)