- ДокументSmorynski.1973.InvestigationsOfIntuitionisticFormalSystemsByMeansOfKripkeFramesзагружено:prooftheory
- ДокументChellas.ModalLogicзагружено:prooftheory
- ДокументFitting.1998.FirstOrderModalLogicзагружено:prooftheory
- ДокументWansing.2002.SequentSystemsForModalLogicsзагружено:prooftheory
- ДокументCategoricalAndKripkeSemanticsForConstructiveS4ModalLogicзагружено:prooftheory
- ДокументGarg.2012.CountermodelsFromSequentCalculiInMultiModalLogicsзагружено:prooftheory
- ДокументCialdeaMayer.2000.VariantsOfFirstOrderModalLogicsзагружено:prooftheory
- ДокументPfenning.2001.AJudgmentalReconstructionOfModalLogicзагружено:prooftheory
- ДокументChau.1993.AProofSearchSystemForAModalSubstructuralLogicBasedOnLabelledDeductiveSystemsзагружено:prooftheory
- Документ1997_Cervesatoзагружено:prooftheory
- Документ1997 Beckertзагружено:prooftheory
- Документ1995_Fairtloughзагружено:prooftheory
- Документ1994_Dybjerзагружено:prooftheory
- Документ1995 Harrisonзагружено:prooftheory
- Документ1993_Bittelзагружено:prooftheory
- Документ1983 Reynoldsзагружено:prooftheory
- Документ1960 McCarthyзагружено:prooftheory
- ДокументFirst order logic theorem provingзагружено:prooftheory
- ДокументLavine, Introduction to Statistical Thoughtзагружено:prooftheory
- ДокументAppel.2007.AListMachineBenchmarkForMechanizedMetatheoryзагружено:prooftheory
- ДокументArkoudas.2008.AnAxiomaticTheoryOfProofRepresentationAndAnalysisзагружено:prooftheory
- ДокументStructural Sharing And Efficient Proof Search In Propositional Intuitionistic Logicзагружено:prooftheory
- ДокументLabel free proof systems for intuitionistic modal logicsзагружено:prooftheory
- ДокументTrampolined styleзагружено:prooftheory
- ДокументIdentity in modal logic theorem provingзагружено:prooftheory
- ДокументDeciding ML typability is complete for deterministic exponential timeзагружено:prooftheory
- ДокументSolvin symbolic ordering constraintsзагружено:prooftheory
- ДокументDestructive Modal Resolutionзагружено:prooftheory